Optimal Motion Planning for Markov Decision Processes with Co-Safe Linear Temporal Logic Specifications

Research output: Contribution to conference (unpublished)Paper

Colleges, School and Institutes

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.

Details

Original languageEnglish
Publication statusPublished - 18 Feb 2014
Event31st Workshop of the UK Planning & Scheduling Special Interest Group - University of Edinburgh, Edinburgh, United Kingdom
Duration: 29 Jan 201430 Jan 2014

Workshop

Workshop31st Workshop of the UK Planning & Scheduling Special Interest Group
CountryUnited Kingdom
CityEdinburgh
Period29/01/1430/01/14