Francesco Belardinelli, Ioana Boureanu, Catalin Dima, Vadim Malvone. Verifying Strategic Abilities in Multi-agent Systems with Private Data-Sharing. In Edith Elkind, Manuela Veloso, Noa Agmon, Matthew E. Taylor, editors, Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS '19, Montreal, QC, Canada, May 13-17, 2019. pages 1820-1822, International Foundation for Autonomous Agents and Multiagent Systems, 2019. [doi]
@inproceedings{BelardinelliBDM19,
title = {Verifying Strategic Abilities in Multi-agent Systems with Private Data-Sharing},
author = {Francesco Belardinelli and Ioana Boureanu and Catalin Dima and Vadim Malvone},
year = {2019},
url = {http://dl.acm.org/citation.cfm?id=3331930},
researchr = {https://researchr.org/publication/BelardinelliBDM19},
cites = {0},
citedby = {0},
pages = {1820-1822},
booktitle = {Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS '19, Montreal, QC, Canada, May 13-17, 2019},
editor = {Edith Elkind and Manuela Veloso and Noa Agmon and Matthew E. Taylor},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
isbn = {978-1-4503-6309-9},
}