Skip to Main content Skip to Navigation
Journal articles

Approximate planning and verification for large Markov decision processes

Richard Lassaigne 1 Sylvain Peyronnet 2
2 Equipe AMACC - Laboratoire GREYC - UMR6072
GREYC - Groupe de Recherche en Informatique, Image, Automatique et Instrumentation de Caen
Document type :
Journal articles
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-01149843
Contributor : Référent Amacc Référent de l'Équipe Amacc - Laboratoire Greyc - Umr6072 <>
Submitted on : Thursday, May 7, 2015 - 4:47:51 PM
Last modification on : Friday, March 27, 2020 - 4:04:24 AM

Identifiers

Citation

Richard Lassaigne, Sylvain Peyronnet. Approximate planning and verification for large Markov decision processes. International Journal on Software Tools for Technology Transfer, Springer Verlag, 2014, pp.1-11. ⟨10.1007/s10009-014-0344-z⟩. ⟨hal-01149843⟩

Share

Metrics

Record views

385