Keyphrases
- symbolic model checking
- planning domains
- model checking
- partial observability
- planning problems
- conformant planning
- ai planning
- formal verification
- answer set programming
- sat solvers
- binary decision diagrams
- model checker
- symbolic representation
- domain independent
- orders of magnitude
- constraint solver
- description language
- temporal logic
- finite state
- knowledge base
- search strategies
- domain specific
- search space