|
|||||
|
|
Approximate planning and verification for large Markov decision processes |
|
| Authors: | Richard Lassaigne Sylvain Peyronnet |
| Affiliation: | 1. Univ Paris VII, Logique Mathématique (IMJ), 75251, Paris, France 2. CNRS, Paris-Centre, 75000, Paris, France 3. ix-labs, Rouen, France |
| Abstract: | |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |