5216 search results - page 216 / 1044 » Planning as Model Checking |
EMNLP
2011
14 years 3 months ago
2011
149
click to vote
SPIN
2012
Springer
13 years 5 months ago
2012
Springer
We report on the application of SPIN for model-checking C source code which is generated out of a textual domain-specific language (DSL). We have built a tool which automatically ...
203
Voted
TOCL
2012
13 years 5 months ago
2012
129
Voted
CAEPIA
2005
Springer
15 years 9 months ago
2005
Springer
Conformant planning is a variation of classical AI planning where the initial state is partially known and actions can have nondeterministic effects. While a classical plan must a...
145
click to vote
MI
1993
15 years 4 months ago
1993
AI planning research is now maturing and nding practical application in the commercial, industrial, engineering and defence sectors. This has led to a rapid expansion in the last ...