David Parker
Reader, Computer Science, University of Birmingham
[LPH14a] Bruno Lacerda, David Parker and Nick Hawes. Optimal Motion Planning for Markov Decision Processes with Co-Safe Linear Temporal Logic Specifications. In Proc. 31st Workshop of the UK Planning & Scheduling Special Interest Group (PlanSIG). January 2014. [pdf] [bib]
Downloads:  pdf pdf (365 KB)  bib bib
Abstract. We present preliminary work on the application of probabilistic model checking to motion planning for robot systems, using specifications in co-safe linear temporal logic. We describe our approach, implemented with the probabilistic model checker PRISM, illustrate it with a simple simulated example and discuss further extensions and improvements.