Optimal and dynamic planning for Markov decision processes with co-safe LTL specifications (2014)

by B Lacerda, D Parker, N Hawes
Venue:In Proc. of 2014 IEEE/RSJ Int. Conf. on Intelligent Robots and Systems (IROS