Francesco Belardinelli, Alessio Lomuscio, Jakub Michaliszyn. Agent-Based Refinement for Predicate Abstraction of Multi-Agent Systems. 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 286-294, IOS Press, 2016. [doi]
Abstract is missing.