Non-Deterministic Conformant Planning Using a Counterexample-Guided Incremental Compilation to Classical Planning.
Enrico ScalaAlban GrastienPublished in: ICAPS (2021)
Keyphrases
- conformant planning
- symbolic model checking
- model checking
- classical planning
- formal verification
- initial state
- computationally hard
- forward search
- deterministic domains
- belief space
- planning problems
- heuristic search
- domain independent
- temporal logic
- finite domain
- ai planning
- state space
- model checker
- constraint propagation
- constraint programming
- partial observability
- constraint satisfaction problems
- domain specific