5216 search results - page 40 / 1044 » Planning as Model Checking |
122
click to vote
MATES
2007
Springer
15 years 8 months ago
2007
Springer
The most common reason for plan repair are the violation of a plan’s temporal constraints. Air Traffic Control is an example of an area in which violations of the plan’s tempo...
AIPS
2000
15 years 3 months ago
2000
The majority of planning and scheduling research has focused on batch-oriented models of planning. This paper discusses the use of iterative repair techniques to support a continu...
111
click to vote
WSC
2000
15 years 3 months ago
2000
A new approach to military operations, called Anticipatory Planning and Adaptive Execution, treats planning and execution as a tightly coupled, single process, and replaces reacti...
117
Voted
GCC
2003
Springer
15 years 7 months ago
2003
Springer
We use 2-Dimensional language to construct 2-Dimensional computer graphics model, use MSO or other logics to specify some graph property, and use automata model checking technique ...
112
click to vote
SPIN
2005
Springer
15 years 8 months ago
2005
Springer
We present ETCH, an enhanced type checking tool for the Promela language. This tool uses standard type checking in conjunction with constraint-based type inference to detect type e...