Optimal and dynamic planning for Markov decision processes with co-safe LTL specifications.

Bruno Lacerda, David Parker, Nick Hawes

Browse the full IROS paper archive.