Dr Nick Hawes

[lacerda2014plansig] Bruno Lacerda, David Parker and Nick Hawes. Optimal Motion Planning for Markov Decision Processes with Co-Safe Linear Temporal Logic Specifications. In 31st Workshop of the UK Planning & Scheduling Special Interest Group. January 2014. [pdf] [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.
Download:  pdf pdf (365 KB)  bib bib
Links: [Google Scholar] [CiteSeer]