5216 search results - page 225 / 1044 » Planning as Model Checking |
117
click to vote
EWSA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper we present a systematic check of the conformance of the implemented and the intended software architecture. Nowadays industry is confronted with rapidly evo...
138
click to vote
ICRA
2005
IEEE
15 years 10 months ago
2005
IEEE
— Robotic motion planning requires configuration space exploration. In high-dimensional configuration spaces, a complete exploration is computationally intractable. Practical m...
157
click to vote
CI
2011
14 years 11 months ago
2011
This paper is focused on how a general-purpose hierarchical planning representation, based on the HTN paradigm, can be used to support the representation of oncology treatment pro...
121
click to vote
WSC
2007
15 years 6 months ago
2007
Planning construction projects typically makes use of the activity network based Critical Path Method (CPM), since it is very simple to use and reasonably versatile. Most other pl...
145
click to vote
AIPS
1996
15 years 5 months ago
1996
Mostexisting decision-theoretic planners represent uncertainty about the state of the world with a precisely specified probability distribution over world states. This representat...