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]
@inproceedings{AminofMRZ16-0,
title = {Automatic Verification of Multi-Agent Systems in Parameterised Grid-Environments},
author = {Benjamin Aminof and Aniello Murano and Sasha Rubin and Florian Zuleger},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2937098},
researchr = {https://researchr.org/publication/AminofMRZ16-0},
cites = {0},
citedby = {0},
pages = {1190-1199},
booktitle = {Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, Singapore, May 9-13, 2016},
editor = {Catholijn M. Jonker and Stacy Marsella and John Thangarajah and Karl Tuyls},
publisher = {ACM},
isbn = {978-1-4503-4239-1},
}