Symbolic Model Checking of Logics with Actions.
Charles PecheurFranco RaimondiPublished in: MoChArt (2006)
Keyphrases
- symbolic model checking
- partial observability
- conformant planning
- model checking
- nondeterministic domains
- deterministic domains
- formal verification
- partially observable
- symbolic representation
- modal logic
- binary decision diagrams
- planning problems
- planning domains
- belief space
- plan recognition
- finite state
- initial state
- artificial intelligence
- model checker
- decision theoretic
- formal specification
- dynamical systems
- heuristic search
- markov chain