Optimal and dynamic planning for Markov decision processes with co-safe LTL specifications
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Authors
Colleges, School and Institutes
Abstract
We present a method to specify tasks and synthesise cost-optimal policies for Markov decision processes using co-safe linear temporal logic. Our approach incorporates a dynamic task handling procedure which allows for the addition of new tasks during execution and provides the ability to re-plan an optimal policy on-the-fly. This new policy minimises the cost to satisfy the conjunction of the current tasks and the new one, taking into account how much of the current tasks has already been executed. We illustrate our approach by applying it to motion planning for a mobile service robot.
Details
Original language | English |
---|---|
Title of host publication | IEEE International Conference on Intelligent Robots and Systems |
Publication status | Published - 31 Oct 2014 |
Event | 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2014 - Chicago, United States Duration: 14 Sep 2014 → 18 Sep 2014 |
Conference
Conference | 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2014 |
---|---|
Country | United States |
City | Chicago |
Period | 14/09/14 → 18/09/14 |