On February 21, we will have a LIRa session with Kaile Su.
Everyone is cordially invited!
Speaker: Kaile Su (Peking University & ‘Future Fellow’ Griffith University)
Title: Model Checking Epistemic Logic with MCTK
Date and Time: Thursday, February 21, 2013, 15:30-17:30
Venue: Science Park 904, Room D1.115
In this talk, I will present a symbolic epistemic model checker MCTK, and demonstrate it by several examples. I will also discuss how to exploit MCTK in some scenarios with richer epistemic logics including dynamic epistemic logic.