Optimal and Dynamic Planning for Markov Decision Processes with Co-Safe LTL Specifications

Lacerda B, Parker D, Hawes N
2014
Conference paper
Journal:
2014 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS 2014)
,
pp.
1511 - 1516
No abstract available