Benjamin Aminof, Aniello Murano, Sasha Rubin, Florian Zuleger. Automatic Verification of Multi-Agent Systems in Parameterised Grid-Environments. In Catholijn M. Jonker, Stacy Marsella, John Thangarajah, Karl Tuyls, editors, Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, Singapore, May 9-13, 2016. pages 1190-1199, ACM, 2016. [doi]
Abstract is missing.