5216 search results - page 221 / 1044 » Planning as Model Checking |
156
click to vote
CONCUR
2007
Springer
15 years 10 months ago
2007
Springer
The model checking problem for finite-state open systems (module checking) has been extensively studied in the literature, both in the context of environments with perfect and imp...
153
click to vote
AI
2007
Springer
15 years 4 months ago
2007
Springer
AI planning requires the definition of action models using a formal action and plan description language, such as the standard Planning Domain Definition Language (PDDL), as inp...
WSC
1997
15 years 5 months ago
1997
143
click to vote
INFOCOM
1998
IEEE
15 years 8 months ago
1998
IEEE
: This paper presents a demand-based engineering method for designing radio networks of cellularmobile communicationsystems. The proposed procedure is based on a forward-engineerin...