Panagiotis Kouvaros, Alessio Lomuscio. Parameterised Model Checking for Alternating-Time Temporal Logic. In Gal A. Kaminka, Maria Fox, Paolo Bouquet, Eyke Hüllermeier, Virginia Dignum, Frank Dignum, Frank van Harmelen, editors, ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence (PAIS 2016). Volume 285 of Frontiers in Artificial Intelligence and Applications, pages 1230-1238, IOS Press, 2016. [doi]
Abstract is missing.