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]
Abstract is missing.