From structured english to robot motion

Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas

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

22 Scopus citations

Abstract

Recently, Linear Temporal Logic (LTL) has been successfully applied to high-level task and motion planning problems for mobile robots. One of the main attributes of LTL is its close relationship with fragments of natural language. In this paper, we take the first steps toward building a natural language interface for LTL planning methods with mobile robots as the application domain. For this purpose, we built a structured English language which maps directly to a fragment of LTL.

Original languageEnglish (US)
Title of host publicationProceedings of the 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2007
Pages2717-2722
Number of pages6
DOIs
StatePublished - Dec 1 2007
Externally publishedYes
Event2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2007 - San Diego, CA, United States
Duration: Oct 29 2007Nov 2 2007

Publication series

NameIEEE International Conference on Intelligent Robots and Systems

Other

Other2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2007
CountryUnited States
CitySan Diego, CA
Period10/29/0711/2/07

ASJC Scopus subject areas

  • Control and Systems Engineering
  • Software
  • Computer Vision and Pattern Recognition
  • Computer Science Applications

Fingerprint Dive into the research topics of 'From structured english to robot motion'. Together they form a unique fingerprint.

  • Cite this

    Kress-Gazit, H., Fainekos, G. E., & Pappas, G. J. (2007). From structured english to robot motion. In Proceedings of the 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2007 (pp. 2717-2722). [4398998] (IEEE International Conference on Intelligent Robots and Systems). https://doi.org/10.1109/IROS.2007.4398998