Revising temporal logic specifications for motion planning

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

34 Citations (Scopus)

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 publicationProceedings - IEEE International Conference on Robotics and Automation
Pages40-45
Number of pages6
DOIs
StatePublished - 2011
Event2011 IEEE International Conference on Robotics and Automation, ICRA 2011 - Shanghai, China
Duration: May 9 2011May 13 2011

Other

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

Fingerprint

Temporal logic
Motion planning
Specifications
Feedback
Planning

ASJC Scopus subject areas

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

Cite this

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

Revising temporal logic specifications for motion planning. / Fainekos, Georgios.

Proceedings - IEEE International Conference on Robotics and Automation. 2011. p. 40-45 5979895.

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

Fainekos, G 2011, Revising temporal logic specifications for motion planning. in Proceedings - IEEE International Conference on Robotics and Automation., 5979895, pp. 40-45, 2011 IEEE International Conference on Robotics and Automation, ICRA 2011, Shanghai, China, 5/9/11. https://doi.org/10.1109/ICRA.2011.5979895
Fainekos G. Revising temporal logic specifications for motion planning. In Proceedings - IEEE International Conference on Robotics and Automation. 2011. p. 40-45. 5979895 https://doi.org/10.1109/ICRA.2011.5979895
Fainekos, Georgios. / Revising temporal logic specifications for motion planning. Proceedings - IEEE International Conference on Robotics and Automation. 2011. pp. 40-45
@inproceedings{51b128da308143a9ac85f639868946cb,
title = "Revising temporal logic specifications for motion planning",
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.",
author = "Georgios Fainekos",
year = "2011",
doi = "10.1109/ICRA.2011.5979895",
language = "English (US)",
isbn = "9781612843865",
pages = "40--45",
booktitle = "Proceedings - IEEE International Conference on Robotics and Automation",

}

TY - GEN

T1 - Revising temporal logic specifications for motion planning

AU - Fainekos, Georgios

PY - 2011

Y1 - 2011

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84869403545&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84869403545&partnerID=8YFLogxK

U2 - 10.1109/ICRA.2011.5979895

DO - 10.1109/ICRA.2011.5979895

M3 - Conference contribution

AN - SCOPUS:84869403545

SN - 9781612843865

SP - 40

EP - 45

BT - Proceedings - IEEE International Conference on Robotics and Automation

ER -