A Framework towards the Verification of Emergent Properties in Spatial Multi-Agent Systems.

Isidora Petreska Petros Kefalas Marian Gheorghe

Published in: WASA (2011)

Keyphrases

multi agent systems
main contribution
theoretical framework
probabilistic model
conceptual framework
data mining
spatio temporal
lightweight
spatial and temporal
game theory
genetic algorithm
artificial intelligence
image sequences
model checking
desirable properties
logical framework