@article{778d17d477b84928ae46717950ae4bc6,
title = "Translating structured english to robot controllers",
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.",
keywords = "Motion planning, Structured english, Task planning, Temporal logic",
author = "Hadas Kress-Gazit and Fainekos, {Georgios E.} and Pappas, {George J.}",
note = "Funding Information: George J. Pappas received the PhD degree in Electrical Engineering and Com-puter Sciences from the University of California, Berkeley, in 1998. He is currently a Professor in the Department of Electrical and Systems Engineering, and the Deputy Dean of the School of Engineering and Applied Science. He also holds secondary appointments in the Departments of Computer and Information Sci-ences, and Mechanical Engineering and Applied Mechanics. His research focuses on the areas of hybrid and embedded systems, hierarchical control systems, dis-tributed control systems, nonlinear control systems, and geometric control theory, with applications to robotics, unmanned aerial vehicles and biomolecular networks. He coedited Hybrid Systems: Computation and Control (Springer, 2004). He was the recipient of a National Science Foundation (NSF) Career Award in 2002, as well as the 2002 NSF Presidential Early Career Award for Scientists and Engineers. He received the 1999 Eliahu Jury Award for Excellence in Systems Research from the Department of Electrical Engineering and Computer Sciences, University of California, Berkeley. His and his students{\textquoteright} papers were finalists for the Best Student Paper Award at the IEEE Conference on Decision and Control (1998, 2001, 2004, 2006), the American Control Conference (2001 and 2004), and ICRA (2007).",
year = "2008",
month = oct,
day = "1",
doi = "10.1163/156855308X344864",
language = "English (US)",
volume = "22",
pages = "1343--1359",
journal = "Advanced Robotics",
issn = "0169-1864",
publisher = "Taylor and Francis Ltd.",
number = "12",
}