Planning via Model Checking in Deterministic Domains: Preliminary Report.
Mauro Di ManzoEnrico GiunchigliaSimone RuffinoPublished in: AIMSA (1998)
Keyphrases
- symbolic model checking
- deterministic domains
- model checking
- temporal logic
- model checker
- formal verification
- partial observability
- formal specification
- finite state
- planning problems
- temporally extended goals
- planning domains
- binary decision diagrams
- artificial intelligence
- verification method
- symbolic representation