5216 search results - page 231 / 1044 » Planning as Model Checking |
132
click to vote
SPIN
2009
Springer
15 years 11 months ago
2009
Springer
This paper introduces a new model checking algorithm that searches for non-progress cycles, used mainly to check for livelocks. The algorithm performs an incremental depth-first s...
146
click to vote
ICML
2000
IEEE
16 years 5 months ago
2000
IEEE
Decision-theoretic reasoning and planning algorithms are increasingly being used for mobile robot navigation, due to the signi cant uncertainty accompanying the robots' perce...
118
click to vote
ER
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we present a model of functional access to data that, we argue, is suitable for modeling a class of data repositories characterized by functional access, such as web ...
IJCAI
1989
15 years 5 months ago
1989
The problem of modeling a variety of domains within the framework of one general scheme is of central importance in AI. This paper presents the MultiEntity model for multi-agent p...
WSC
1998
15 years 5 months ago
1998
