Alessio Lomuscio, Jakub Michaliszyn. Verifying Multi-Agent Systems by Model Checking Three-valued Abstractions. In Gerhard Weiss, Pinar Yolum, Rafael H. Bordini, Edith Elkind, editors, Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, Istanbul, Turkey, May 4-8, 2015. pages 189-198, ACM, 2015. [doi]
Abstract is missing.