Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin. Decidable Verification of Multi-agent Systems with Bounded Private Actions. In Elisabeth André, Sven Koenig, Mehdi Dastani, Gita Sukthankar, editors, Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2018, Stockholm, Sweden, July 10-15, 2018. pages 1865-1867, International Foundation for Autonomous Agents and Multiagent Systems Richland, SC, USA / ACM, 2018. [doi]
@inproceedings{BelardinelliLMR18-0,
title = {Decidable Verification of Multi-agent Systems with Bounded Private Actions},
author = {Francesco Belardinelli and Alessio Lomuscio and Aniello Murano and Sasha Rubin},
year = {2018},
url = {http://dl.acm.org/citation.cfm?id=3238005},
researchr = {https://researchr.org/publication/BelardinelliLMR18-0},
cites = {0},
citedby = {0},
pages = {1865-1867},
booktitle = {Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2018, Stockholm, Sweden, July 10-15, 2018},
editor = {Elisabeth André and Sven Koenig and Mehdi Dastani and Gita Sukthankar},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems Richland, SC, USA / ACM},
}