Sciweavers

7057 search results - page 26 / 1412
» Tasks, domains, and languages
Sort
View
IROS
2007
IEEE
112views Robotics» more  IROS 2007»
16 years 11 days 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 ...
Hadas Kress-Gazit, Georgios E. Fainekos, George J....
AR
2008
95views more  AR 2008»
15 years 6 months ago
Translating Structured English to Robot Controllers
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 clo...
Hadas Kress-Gazit, Georgios E. Fainekos, George J....