Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin. Verification of Multi-agent Systems with Imperfect Information and Public Actions. In Kate Larson, Michael Winikoff, Sanmay Das, Edmund Durfee, editors, Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017. pages 1268-1276, ACM, 2017. [doi]
@inproceedings{BelardinelliLMR17,
title = {Verification of Multi-agent Systems with Imperfect Information and Public Actions},
author = {Francesco Belardinelli and Alessio Lomuscio and Aniello Murano and Sasha Rubin},
year = {2017},
url = {http://dl.acm.org/citation.cfm?id=3091301},
researchr = {https://researchr.org/publication/BelardinelliLMR17},
cites = {0},
citedby = {0},
pages = {1268-1276},
booktitle = {Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017},
editor = {Kate Larson and Michael Winikoff and Sanmay Das and Edmund Durfee},
publisher = {ACM},
}