Automatic verification of parameterised multi-agent systems

Panagiotis Kouvaros, Alessio Lomuscio. Automatic verification of parameterised multi-agent systems. In Maria L. Gini, Onn Shehory, Takayuki Ito, Catholijn M. Jonker, editors, International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '13, Saint Paul, MN, USA, May 6-10, 2013. pages 861-868, IFAAMAS, 2013. [doi]

Abstract

Abstract is missing.