5216 search results - page 18 / 1044 » Planning as Model Checking |
TPHOL
2003
IEEE
14 years 4 months ago
2003
IEEE
Abstract. Model checking and theorem proving are two complementary approaches to formal verification. In this paper we show how binary decision diagram (BDD) based symbolic model ...
GI
2009
Springer
14 years 3 months ago
2009
Springer
: The modeling of strategies for deriving valid project plans is a core task in development process’s design. Strategies are used for planning and for the validation of concrete ...
ICIP
2006
IEEE
15 years 17 days ago
2006
IEEE
The substitution of physical bank check exchange by electronic check image transfer brings agility, security and cost reduction to the clearing system. In this paper, we propose a...
ATAL
2005
Springer
14 years 4 months ago
2005
Springer
The behavior of an agent is defined through the specification of plans and actions. Agents have a set of plans that are selected to be executed according to their goals (and other...
KI
2010
Springer
13 years 5 months ago
2010
Springer
A service robot should be able to automatically plan manipulation actions to help people in domestic environments. Following the classic senseplan-act cycle, in this paper we prese...