Francesco Belardinelli, Ioana Boureanu, Catalin Dima, Vadim Malvone. Verifying strategic abilities in multi-agent systems with private-data sharing.
18th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2019), May 2019, Montreal, Canada. pp.1820--1822.
⟨hal-02428214⟩