Wojciech Penczek, Alessio Lomuscio. Verifying epistemic properties of multi-agent systems via bounded model checking. In The Second International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2003, July 14-18, 2003, Melbourne, Victoria, Australia, Proceedings. pages 209-216, ACM, 2003. [doi]
Abstract is missing.