Dr Nick Hawes

This list is no longer actively maintained, but I will leave it here for reference. For an up to date list, please see my new site at the University of Oxford.

[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]