Searching for "Planning as Model Checking." – sorted by Relevance.
58 documents found, showing 1 through 10.
Next 10 →
-
Planning as Model Checking
- …Planning as Model Checking Fausto Giunchiglia 1;2 and Paolo Traverso 1 1 IRST, Istituto per la…
- Add To MetaCart
-
Mixed Propositional and Numerical Planning in the Model Checking Integrated Planning System
- …Mixed Propositional and Numerical Planning in the Model Checking Integrated Planning System…
- Cited by 12 (1 self) – Add To MetaCart
-
Planning as Model Checking for Extended Goals in Non-Deterministic Domains
- …Planning as Model Checking for Extended Goals in Non-deterministic Domains Marco Pistore and Paolo…
- Cited by 43 (8 self) – Add To MetaCart
-
Strategic planning through model checking of ATL formulae
- …Strategic Planning through Model Checking of ATL Formulae Wojciech Jamroga Parlevink Group…
- Cited by 1 (1 self) – Add To MetaCart
-
Adapting an AI planning heuristic for directed model checking
- … Adapting an AI Planning Heuristic for Directed ModelChecking ? Sebastian Kupferschmid1, J…
- Cited by 9 (7 self) – Add To MetaCart
-
Solving power supply restoration problems with planning via symbolic model checking
- …Solving Power Supply Restoration Problems with Planning via Symbolic Model Checking Piergiorgio…
- Cited by 20 (5 self) – Add To MetaCart
-
Using Model Checking for Pre-Planning Analysis
- …Using Model Checking for Pre-Planning Analysis Maria Fox, Derek Long, Steven Bradley and James Mc…
- Cited by 4 (1 self) – Add To MetaCart
-
Mapping Temporal Planning Constraints into Timed Automata
- … Checking, Validation. Abstract Planning and Model Checking are similar in concept. They both deal…
- Cited by 4 (0 self) – Add To MetaCart
-
Taming Numbers and Durations in the Model Checking Integrated Planning System
- …Taming Numbers and Durations in the Model Checking Integrated Planning System Stefan Edelkamp…
- Cited by 24 (7 self) – Add To MetaCart
-
Planning and Monitoring Web Service Composition
- … on the “Planning as Model Checking” approach to automatically compose web services and synthesize monitoring…
- Cited by 37 (4 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
