5 search results - page 1 / 1 » Strong Planning in Non-Deterministic Domains Via Model Check... |
AIPS
1998
13 years 6 months ago
1998
JAIR
2000
13 years 5 months ago
2000
Recently model checking representation and search techniques were shown to be efciently applicable to planning, in particular to non-deterministic planning. Such planning approach...
ATAL
2009
Springer
13 years 6 months ago
2009
Springer
Motion planning for mobile agents, such as robots, acting in the physical world is a challenging task, which traditionally concerns safe obstacle avoidance. We are interested in p...
CP
2004
Springer
13 years 10 months ago
2004
Springer
In real-life temporal scenarios, uncertainty and preferences are often essential, coexisting aspects. We present a formalism where temporal constraints with both preferences and un...
AGENTS
1998
Springer
13 years 9 months ago
1998
Springer
The New Millennium Remote Agent NMRA will be the rst AI system to control an actual spacecraft. The spacecraft domain places a strong premium on autonomy and requires dynamic reco...