Alessandro Cimatti, Marco Gario, Stefano Tonetta. A Lazy Approach to Temporal Epistemic Logic Model Checking. In Catholijn M. Jonker, Stacy Marsella, John Thangarajah, Karl Tuyls, editors, Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, Singapore, May 9-13, 2016. pages 1218-1226, ACM, 2016. [doi]
Abstract is missing.