Richard Lassaigne, Sylvain Peyronnet
Approximate planning and verification for large markov decision processes
SAC, 2012.
@inproceedings{SAC-2012-LassaigneP,
author = "Richard Lassaigne and Sylvain Peyronnet",
booktitle = "{Proceedings of the 27th Symposium on Applied Computing}",
doi = "10.1145/2245276.2231984",
editor = "Sascha Ossowski and Paola Lecca",
isbn = "978-1-4503-0857-1",
pages = "1314--1319",
publisher = "{ACM}",
title = "{Approximate planning and verification for large markov decision processes}",
year = 2012,
}