Model checking epistemic logic
Mika Cohen, Imperial College London, UK
- Date and Time
Tuesday, May 4th, 2010 at 13:30
Polacksbaken, room 1146
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.