5216 search results - page 286 / 1044 » Planning as Model Checking |
126
click to vote
WSC
2007
15 years 7 months ago
2007
This paper describes the use of a planning ontology of the domain of Aircraft Maintenance, Repair and Overhaul [MRO] at a USAF depot to produce a discrete event simulation model o...
120
click to vote
WSC
2004
15 years 6 months ago
2004
When major transportation infrastructures such as freight corridors or port systems are being planned, there are typically multiple phases of preliminary engineering required. Dur...
153
click to vote
TPHOL
2008
IEEE
15 years 11 months ago
2008
IEEE
Systems that can immediately react to their inputs may suffer from cyclic dependencies between their actions and the corresponding trigger conditions. For this reason, causality an...
153
click to vote
CAV
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. This paper develops a local reasoning method to check lineartime temporal properties of concurrent programs. In practice, it is often infeasible to model check over the p...
146
click to vote
REFSQ
2007
Springer
15 years 10 months ago
2007
Springer
This paper investigates two integer linear programming models that integrate requirement scheduling into software release planning. The first model can schedule the development of ...