Automatic verification of parameterised multi-agent systems. - Kouvaros,P; Lomuscio,A (IFAAMAS, 2013)