Model checking epistemic logic

Abstract: Model checking techniques have recently been extended to information-theoretic properties expressed in epistemic logic. While some extensions have turned out to be straightforward, others have been more challenging. In this seminar, I will illustrate some of the challenges involved by looking at how symmetry reduction techniques and automata-theoretic model checking techniques have been extended to epistemic logic. The talk does not require any background in epistemic logic.