Magdalena Kacprzak, Alessio Lomuscio, Wojciech Penczek. Verification of Multiagent Systems via Unbounded Model Checking. In 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 19-23 August 2004, New York, NY, USA. pages 638-645, IEEE Computer Society, 2004. [doi]
Abstract is missing.