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
[LPH15] B. Lacerda, D. Parker and N. Hawes. Optimal Policy Generation for Partially Satisfiable Co-Safe LTL Specifications. In Proc. 24th International Joint Conference on Artificial Intelligence (IJCAI'15), IJCAI/AAAI. July 2015. [pdf] [bib]
Abstract. We present a method to calculate cost-optimal policies for task specifications in co-safe linear temporal logic over a Markov decision process model of a stochastic system. Our key contribution is to address scenarios in which the task may not be achievable with probability one. We formalise a task progression metric and, using multi-objective probabilistic model checking, generate policies that are formally guaranteed to, in decreasing order of priority: maximise the probability of finishing the task; maximise progress towards completion, if this is not possible; and minimise the expected time or cost required. We illustrate and evaluate our approach in a robot task planning scenario, where the task is to visit a set of rooms that may be inaccessible during execution.
Download:  pdf pdf (391 KB)  bib bib
Links: [Google Scholar] [CiteSeer]