691 search results - page 11 / 139 » Robot task planning using semantic maps |
130
click to vote
IROS
2007
IEEE
15 years 10 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 ...
133
click to vote
AIPS
2008
15 years 6 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...
122
click to vote
ICRA
2003
IEEE
15 years 9 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 ...
139
click to vote
ICRA
2009
IEEE
15 years 10 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...
118
click to vote
APAL
2002
15 years 3 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 ...