Richard Lassaigne, Sylvain Peyronnet. Approximate planning and verification for large markov decision processes. In Sascha Ossowski, Paola Lecca, editors, Proceedings of the ACM Symposium on Applied Computing, SAC 2012, Riva, Trento, Italy, March 26-30, 2012. pages 1314-1319, ACM, 2012. [doi]
Abstract is missing.