Isidora Petreska

Publication Activity (10 Years)

Years Active: 2011-2013
Publications (10 Years): 0

Top Topics

Artificial Agents

Explicitly Represent

Partial Information

Top Venues

ICAART (Revised Selected Papers)

Publications

Isidora Petreska, Ioanna Stamatopoulou
A comparative study of tools for visualisation of state-based spatial multi-agent models. BCI (2013)
Isidora Petreska, Petros Kefalas, Marian Gheorghe, Ioanna Stamatopoulou
Extending X-machines to Support Representation of Spatial 2-D Agents. ICAART (2) (2012)
Isidora Petreska, Petros Kefalas, Marian Gheorghe, Ioanna Stamatopoulou
sp X-Machines: Formal State-Based Modelling of Spatial Agents. ICAART (Revised Selected Papers) (2012)
Isidora Petreska, Petros Kefalas, Marian Gheorghe
A Framework towards the Verification of Emergent Properties in Spatial Multi-Agent Systems. WASA (2011)