Alessio Lomuscio, Hugo Paquet. Verification of Multi-Agent Systems via SDD-based Model Checking. In Gerhard Weiss, Pinar Yolum, Rafael H. Bordini, Edith Elkind, editors, Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, Istanbul, Turkey, May 4-8, 2015. pages 1713-1714, ACM, 2015. [doi]
@inproceedings{LomuscioP15,
title = {Verification of Multi-Agent Systems via SDD-based Model Checking},
author = {Alessio Lomuscio and Hugo Paquet},
year = {2015},
url = {http://dl.acm.org/citation.cfm?id=2773399},
researchr = {https://researchr.org/publication/LomuscioP15},
cites = {0},
citedby = {0},
pages = {1713-1714},
booktitle = {Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, Istanbul, Turkey, May 4-8, 2015},
editor = {Gerhard Weiss and Pinar Yolum and Rafael H. Bordini and Edith Elkind},
publisher = {ACM},
isbn = {978-1-4503-3413-6},
}