@inproceedings{d0163a0216aa4f58bcec5835e7c1bec0,
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",
month = jan,
day = "1",
language = "English",
series = "Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS",
publisher = "International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS)",
pages = "1820--1822",
booktitle = "18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019",
note = "18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019 ; Conference date: 13-05-2019 Through 17-05-2019",
}