Adapting an AI Planning Heuristic for Directed Model Checking.
Sebastian KupferschmidJörg HoffmannHenning DierksGerd BehrmannPublished in: SPIN (2006)
Keyphrases
- ai planning
- model checking
- planning domains
- model checker
- temporal logic
- heuristic search
- classical planning
- formal verification
- planning problems
- temporal properties
- integer programming
- symbolic model checking
- planning under uncertainty
- formal specification
- automated verification
- description language
- computation tree logic
- formal methods
- web service composition
- finite state
- verification method
- pspace complete
- search algorithm
- service composition
- epistemic logic
- transition systems
- optimal solution
- bounded model checking
- dynamic programming
- search strategies
- software engineering
- partially observable
- planning graph
- constraint satisfaction
- simulated annealing