Francesco Belardinelli, Panagiotis Kouvaros, Alessio Lomuscio. Parameterised verification of data-aware multi-agent systems .
26th International Joint Conference on Artificial Intelligence (IJCAI 2017), Aug 2017, Melbourne, Australia. pp.98--104.
⟨hal-01629367⟩