MCK: Model Checking the Logic of Knowledge.

Peter Gammie, Ron van der Meyden

Browse the full CAV paper archive.