Isidora Petreska, Petros Kefalas, Marian Gheorghe, Ioanna Stamatopoulou. sp X-Machines: Formal State-Based Modelling of Spatial Agents. In Joaquim Filipe, Ana L. N. Fred, editors, Agents and Artificial Intelligence - 4th International Conference, ICAART 2012, Vilamoura, Portugal, February 6-8, 2012. Revised Selected Papers. Volume 358 of Communications in Computer and Information Science, pages 379-391, Springer, 2012. [doi]
Abstract is missing.