Planning as Model Checking for Extended Goals in Non-deterministic Domains.
Marco PistorePaolo TraversoPublished in: IJCAI (2001)
Keyphrases
- symbolic model checking
- deterministic domains
- model checking
- nondeterministic domains
- temporally extended goals
- temporal logic
- model checker
- formal verification
- finite state
- partial observability
- formal specification
- binary decision diagrams
- planning domains
- formal methods
- symbolic representation
- planning problems
- knowledge base
- reverse engineering
- dynamic programming
- reinforcement learning