Skip to main content
Department of Information Technology

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.

Back to the seminar page

Updated  2010-05-04 14:47:58 by Frédéric Haziza.