Planning in Real-Time Domains with Timed CTL Goals via Symbolic Model Checking.
Daniel StöhrSabine GlesnerPublished in: TASE (2013)
Keyphrases
- symbolic model checking
- deterministic domains
- model checking
- nondeterministic domains
- temporally extended goals
- temporal logic
- partial observability
- formal verification
- conformant planning
- model checker
- symbolic representation
- binary decision diagrams
- finite state
- planning domains
- domain independent
- description language
- formal specification
- control system