A Framework towards the Verification of Emergent Properties in Spatial Multi-Agent Systems. - Isidora Petreska; Petros Kefalas; Marian Gheorghe 001 (WASA, 2011)

Extending X-machines to Support Representation of Spatial 2-D Agents. - Isidora Petreska; Petros Kefalas; Marian Gheorghe 001; Ioanna Stamatopoulou (ICAART (2), 2012)

sp X-Machines: Formal State-Based Modelling of Spatial Agents. - Isidora Petreska; Petros Kefalas; Marian Gheorghe 001; Ioanna Stamatopoulou (ICAART (Revised Selected Papers), 2012)

A comparative study of tools for visualisation of state-based spatial multi-agent models. - Isidora Petreska; Ioanna Stamatopoulou (BCI, 2013)