Sciweavers

Share
IROS
2007
IEEE

From structured english to robot motion

12 years 8 months ago
From structured english to robot motion
— 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.
Hadas Kress-Gazit, Georgios E. Fainekos, George J.
Added 03 Jun 2010
Updated 03 Jun 2010
Type Conference
Year 2007
Where IROS
Authors Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas
Comments (0)
books