Revising temporal logic specifications for motion planning

Research output: Chapter in Book/Report/Conference proceedingConference contribution

34 Scopus citations

Abstract

In this paper, we introduce the problem of automatic formula revision for Linear Temporal Logic (LTL) motion planning specifications. Namely, if a specification cannot be satisfied on a particular environment, our framework returns information to the user regarding (i) why the specification cannot be satisfied and (ii) how the specification can be modified so it can become satisfiable. This work contributes towards rendering temporal logic motion planning frameworks more user friendly by providing feedback to the user when the LTL planning phase fails.

Original languageEnglish (US)
Title of host publication2011 IEEE International Conference on Robotics and Automation, ICRA 2011
Pages40-45
Number of pages6
DOIs
StatePublished - Dec 1 2011
Event2011 IEEE International Conference on Robotics and Automation, ICRA 2011 - Shanghai, China
Duration: May 9 2011May 13 2011

Publication series

NameProceedings - IEEE International Conference on Robotics and Automation
ISSN (Print)1050-4729

Other

Other2011 IEEE International Conference on Robotics and Automation, ICRA 2011
CountryChina
CityShanghai
Period5/9/115/13/11

ASJC Scopus subject areas

  • Software
  • Control and Systems Engineering
  • Artificial Intelligence
  • Electrical and Electronic Engineering

Fingerprint Dive into the research topics of 'Revising temporal logic specifications for motion planning'. Together they form a unique fingerprint.

  • Cite this

    Fainekos, G. (2011). Revising temporal logic specifications for motion planning. In 2011 IEEE International Conference on Robotics and Automation, ICRA 2011 (pp. 40-45). [5979895] (Proceedings - IEEE International Conference on Robotics and Automation). https://doi.org/10.1109/ICRA.2011.5979895