Optimizing Epistemic Model Checking Using Conditional Independence (Extended Abstract).
Ron van der MeydenPublished in: TARK (2017)
Keyphrases
- extended abstract
- conditional independence
- model checking
- computation tree logic
- epistemic logic
- temporal epistemic
- temporal logic
- bayesian networks
- random variables
- graphical models
- probability distribution
- temporal properties
- model checker
- automated verification
- structure learning
- directed acyclic graph
- possibility theory
- formal verification
- formal specification
- verification method
- bounded model checking
- timed automata
- transition systems
- causal models
- formal methods
- symbolic model checking
- probability theory
- concurrent systems
- axiomatic characterization
- reachability analysis
- modal logic
- multi agent systems