The Causal Graph Revisited for Directed Model Checking.
Martin WehrleMalte HelmertPublished in: SAS (2009)
Keyphrases
- model checking
- causal graph
- pspace complete
- temporal logic
- planning problems
- causal models
- formal verification
- finite state
- automated verification
- state variables
- temporal properties
- symbolic model checking
- formal specification
- model checker
- verification method
- epistemic logic
- bounded model checking
- transition systems
- plan generation
- computation tree logic
- formal methods
- bayesian networks
- planning domains
- probability distribution