Isidora Petreska, Petros Kefalas, Marian Gheorghe. A Framework towards the Verification of Emergent Properties in Spatial Multi-Agent Systems. In Mirjana Ivanovic, Maria Ganzha, Marcin Paprzycki, Costin Badica, editors, Proceedings of the Workshop on Applications of Software Agents, WASA 2011, Novi Sad, Serbia, July 3-5, 2011. Volume 752 of CEUR Workshop Proceedings, pages 37-44, CEUR-WS.org, 2011. [doi]
Abstract is missing.