5216 search results - page 220 / 1044 » Planning as Model Checking |
128
Voted
FDL
2003
IEEE
15 years 8 months ago
2003
IEEE
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...
121
click to vote
APLAS
2005
ACM
15 years 5 months ago
2005
ACM
In this paper we propose a new parametric abstract finite model of Mobile Ambients able to express several properties on processes. The model can be used for the analysis of these...
140
Voted
BXML
2004
15 years 4 months ago
2004
: ExtraPlanT system is a multi-agent production planning system designed for small factories, which needs to react quickly on market changes. To deal with this requirement, ExtraPl...
142
click to vote
MATES
2007
Springer
15 years 9 months ago
2007
Springer
In real-life multi-agent planning problems, long-term plans will often be invalidated by changes in the environment during or after the planning process. When this happens, short-t...
134
click to vote
AAAI
2000
15 years 4 months ago
2000
Recent work has demonstrated that treating resource reasoning separately from causal reasoning can lead to improved planning performance and rational resource management where inc...