Symbolic Model Checking for Temporal-Epistemic Logic.
Alessio LomuscioWojciech PenczekPublished in: Logic Programs, Norms and Action (2012)
Keyphrases
- epistemic logic
- symbolic model checking
- model checking
- model checker
- linear temporal logic
- temporal logic
- formal verification
- modal logic
- formal specification
- formal methods
- description language
- temporal reasoning
- temporal information
- partial observability
- formal semantics
- bayesian networks
- binary decision diagrams
- probabilistic model