Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin. Verification of Multi-agent Systems with Imperfect Information and Public Actions.
16th International Conference on Antonomous Agents and Multiagent Sytems (AAMAS 2017), May 2017, Sao Polo, Brazil.
⟨hal-01774305⟩