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

David Parker; Bruno Lacerda; Nick Hawes

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

David Parker, Bruno Lacerda, Nick Hawes

Computer Science

Research output: Contribution to conference (unpublished) › Paper › peer-review

30 Downloads (Pure)

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.

Original language	English
Publication status	Published - 18 Feb 2014
Event	31st Workshop of the UK Planning & Scheduling Special Interest Group - University of Edinburgh, Edinburgh, United Kingdom Duration: 29 Jan 2014 → 30 Jan 2014

Workshop

Workshop	31st Workshop of the UK Planning & Scheduling Special Interest Group
Country/Territory	United Kingdom
City	Edinburgh
Period	29/01/14 → 30/01/14

Access to Document

Lacerda_et_al_Optimal_motion_planning_2014Accepted author manuscript, 365 KBLicence: None: All rights reserved

Cite this

@conference{f10b0b44baca4e7d9382fd9d32099b9b,

title = "Optimal Motion Planning for Markov Decision Processes with Co-Safe Linear Temporal Logic Specifications",

abstract = "We present preliminary work on the application of probabilistic model checking to motion planning for robot systems, using specifications in co-safe linear temporallogic. We describe our approach, implemented with the probabilistic model checker PRISM, illustrate it with a simple simulated example and discuss further extensionsand improvements.",

author = "David Parker and Bruno Lacerda and Nick Hawes",

year = "2014",

month = feb,

day = "18",

language = "English",

note = "31st Workshop of the UK Planning & Scheduling Special Interest Group ; Conference date: 29-01-2014 Through 30-01-2014",

}

TY - CONF

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

AU - Parker, David

AU - Lacerda, Bruno

AU - Hawes, Nick

PY - 2014/2/18

Y1 - 2014/2/18

N2 - We present preliminary work on the application of probabilistic model checking to motion planning for robot systems, using specifications in co-safe linear temporallogic. We describe our approach, implemented with the probabilistic model checker PRISM, illustrate it with a simple simulated example and discuss further extensionsand improvements.

AB - We present preliminary work on the application of probabilistic model checking to motion planning for robot systems, using specifications in co-safe linear temporallogic. We describe our approach, implemented with the probabilistic model checker PRISM, illustrate it with a simple simulated example and discuss further extensionsand improvements.

UR - http://homepages.inf.ed.ac.uk/rpetrick/events/plansig2013/proceedings.html

M3 - Paper

T2 - 31st Workshop of the UK Planning & Scheduling Special Interest Group

Y2 - 29 January 2014 through 30 January 2014

ER -

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

Abstract

Workshop

Access to Document

Fingerprint

Cite this