Dr Nick Hawes

Reader in Autonomous Intelligent Robotics

School of Computer Science
University of Birmingham
Edgbaston, Birmingham, B15 2TT
United Kingdom

Email: n.a.hawes@cs.bham.ac.uk
Twitter: @hawesie
Phone: +44 (0) 121 41 43739
Office: 133 (first floor, back right)
Office Hours: Mon 12:00, Tues 11:00 (term-time only)
Availability: Doodle MeetMe
[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]