Bruno Lacerda, David Parker, Nick Hawes. Optimal and dynamic planning for Markov decision processes with co-safe LTL specifications. In 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, Chicago, IL, USA, September 14-18, 2014. pages 1511-1516, IEEE, 2014. [doi]
@inproceedings{LacerdaPH14,
title = {Optimal and dynamic planning for Markov decision processes with co-safe LTL specifications},
author = {Bruno Lacerda and David Parker and Nick Hawes},
year = {2014},
doi = {10.1109/IROS.2014.6942756},
url = {http://dx.doi.org/10.1109/IROS.2014.6942756},
researchr = {https://researchr.org/publication/LacerdaPH14},
cites = {0},
citedby = {0},
pages = {1511-1516},
booktitle = {2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, Chicago, IL, USA, September 14-18, 2014},
publisher = {IEEE},
}