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]
Abstract is missing.