147 search results - page 1 / 30 » Turn Planning in CIRCSIM-Tutor |
80
Voted
ECAI
2000
Springer
15 years 5 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...
87
Voted
ICRA
2010
IEEE
14 years 11 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...
81
Voted
IFIP
1993
Springer
15 years 5 months ago
1993
Springer
95
Voted
FLAIRS
2000
15 years 2 months ago
2000
105
Voted
ASM
2010
ASM
15 years 10 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...