691 search results - page 11 / 139 » Robot task planning using semantic maps |
IROS
2007
IEEE
15 years 3 months ago
2007
IEEE
— 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 ...
AIPS
2008
14 years 11 months ago
2008
We present an automated planning application for generating 3D tasks demonstrations involving a teleoperated robot arm on the International Space Station (ISS). A typical task dem...
ICRA
2003
IEEE
15 years 2 months ago
2003
IEEE
— Despite the many significant advances made in robot motion research, few works have focused on the tight integration of high-level deliberative planning with reactive control ...
ICRA
2009
IEEE
15 years 4 months ago
2009
IEEE
— We present a decentralized, scalable approach to assembling a group of heterogeneous parts into different products using a swarm of robots. While the assembly plans are predete...
APAL
2002
14 years 9 months ago
2002
The paper introduces a semantics for the language of classical first order logic supplemented with the additional operators and . This semantics understands formulas as tasks. An ...