147 search results - page 1 / 30 » Turn Planning in CIRCSIM-Tutor |
ECAI
2000
Springer
15 years 3 months ago
2000
Springer
The actions of a robot like lifting an object are often best thought of as low-level processes with uncertain outcome. A highlevel robot plan can be seen as a description of a task...
ICRA
2010
IEEE
14 years 10 months ago
2010
IEEE
— This paper is concerned with path planning for an autonomous flight vehicle operating in a steady, uniform flow-field. We model the vehicle as a particle that travels in the...
IFIP
1993
Springer
15 years 3 months ago
1993
Springer
FLAIRS
2000
15 years 26 days ago
2000
ASM
2010
ASM
15 years 8 months ago
2010
ASM
The activities of formal modelling and reasoning are closely related. But while the rigour of building formal models brings significant benefits, formal reasoning remains a major...