Panagiotis Kouvaros, Alessio Lomuscio. Automatic verification of parameterised multi-agent systems. In Maria L. Gini, Onn Shehory, Takayuki Ito, Catholijn M. Jonker, editors, International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '13, Saint Paul, MN, USA, May 6-10, 2013. pages 861-868, IFAAMAS, 2013. [doi]
@inproceedings{KouvarosL13,
title = {Automatic verification of parameterised multi-agent systems},
author = {Panagiotis Kouvaros and Alessio Lomuscio},
year = {2013},
url = {http://dl.acm.org/citation.cfm?id=2485057},
researchr = {https://researchr.org/publication/KouvarosL13},
cites = {0},
citedby = {0},
pages = {861-868},
booktitle = {International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '13, Saint Paul, MN, USA, May 6-10, 2013},
editor = {Maria L. Gini and Onn Shehory and Takayuki Ito and Catholijn M. Jonker},
publisher = {IFAAMAS},
isbn = {978-1-4503-1993-5},
}