Mika Cohen, Mads Dam, Alessio Lomuscio, Francesco Russo. Abstraction in model checking multi-agent systems. In Carles Sierra, Cristiano Castelfranchi, Keith S. Decker, Jaime Simão Sichman, editors, 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 2. pages 945-952, IFAAMAS, 2009. [doi]
Abstract is missing.