Department of Materials, Imperial College of London, South Kensington Campus, London SW7 2AZ, U.K.
Department of Engineering Mechanics, School of Civil Engineering, Wuhan University, Wuhan, Hubei 430072, China ...
A symbolic model checker for Dynamic Epistemic Logic.