5373 search results - page 171 / 1075 » Models and Motion Planning |
105
click to vote
AIPS
2003
15 years 5 months ago
2003
We present a case study in confronting the GPT generalpurpose planner with the challenging power supply restoration (PSR) benchmark for contingent planning. PSR is derived from a ...
124
click to vote
WSC
1997
15 years 5 months ago
1997
Earthwork projects involve moving specific amounts of earth from a discrete set of source locations to a discrete set of destinations. Constructors use different methods and equip...
117
click to vote
ICAISC
2004
Springer
15 years 9 months ago
2004
Springer
Model checking of temporal logic has already been proposed for automatic planning. In this paper, we introduce a simple adaptation of the ATL model checking algorithm that returns ...
145
click to vote
ISORC
2000
IEEE
15 years 8 months ago
2000
IEEE
We describe a real-time, component-based system for an inspection application. We chose the inspection application and the accompanying task (or scenario) so that we might fully e...