Temporal Planning as Refinement-Based Model Checking.
Alexander HeinzMartin WehrleSergiy BogomolovDaniele MagazzeniMarius GreitschusAndreas PodelskiPublished in: ICAPS (2019)
Keyphrases
- model checking
- temporal planning
- temporal planner
- mutual exclusion
- ai planning
- temporal logic
- planning domains
- plan generation
- model checker
- domain independent
- formal verification
- partial order
- temporal constraints
- classical planning
- heuristic search
- planning problems
- formal methods
- finite state
- verification method
- plan execution
- long distance
- general purpose
- computation tree logic
- integer linear programming
- plan recognition
- dynamic programming
- computational complexity