B. Aminof, A. Murano, S. Rubin, F. Zuleger:
"Automatic Verification of Multi-Agent Systems in Parameterised Grid-Environments";
Talk: International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), Singapur; 2016-05-09 - 2016-05-13; in: "AAMAS", (2016), 1190 - 1199.