5216 search results - page 54 / 1044 » Planning as Model Checking |
104
click to vote
AAAI
1998
15 years 3 months ago
1998
Wedescribe somenewpreprocessing techniques that enable faster domain-independentplanning. Thefirst set of techniquesis aimedat inferring state constraints from the structure of pl...
229
click to vote
CASCON
2010
14 years 11 months ago
2010
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. However, web services are dis...
131
click to vote
ACRI
2006
Springer
15 years 8 months ago
2006
Springer
Robotic systems are usually built as independent agents that collaborate to accomplish a specific task. Analysis of robot path planning consists of route planning and path generati...
125
click to vote
ENDM
2006
15 years 2 months ago
2006
We consider a dynamic planning problem for paratransit transportation. The focus is on a decision to take one day ahead: which requests to serve with own vehicles, and which reque...
128
click to vote
ICSOC
2007
Springer
15 years 8 months ago
2007
Springer
Model checking Web service behaviour has remained limited to checking safety and liveness properties. However when viewed as a multi agent system, the system composition can be ana...