Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin. Verification of broadcasting multi-agent systems against an epistemic strategy logic .
26th International Joint Conference on Artificial Intelligence (IJCAI 2017), Aug 2017, Melbourne, Australia. pp.91--97.
⟨hal-01629380⟩