Strong Planning in Non-Deterministic Domains Via Model Checking.
Alessandro CimattiMarco RoveriPaolo TraversoPublished in: AIPS (1998)
Keyphrases
- symbolic model checking
- deterministic domains
- model checking
- temporal logic
- formal verification
- model checker
- partial observability
- finite state
- formal specification
- verification method
- stochastic domains
- symbolic representation
- binary decision diagrams
- formal methods
- temporally extended goals
- planning problems
- dynamical systems
- reinforcement learning
- state space