Symbolic Model Checking for Dynamic Epistemic Logic.

Johan van Benthem Jan van Eijck Malvin Gattinger Kaile Su

Published in: LORI (2015)

Keyphrases

symbolic model checking
dynamic epistemic logic
epistemic logic
model checking
model checker
formal verification
temporal logic
formal specification
partial observability
formal methods
modal logic
binary decision diagrams
multi agent systems
probability distribution
planning domains