Alessio Lomuscio, Jakub Michaliszyn. An Abstraction Technique for the Verification of Multi-Agent Systems Against ATL Specifications. In Chitta Baral, Giuseppe De Giacomo, Thomas Eiter, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014. AAAI Press, 2014. [doi]
Abstract is missing.