Statistical Model Checking Of Multi-Agent Systems

Libero Nigro, Paolo F. Sciammarella
2017 ECMS 2017 Proceedings edited by Zita Zoltay Paprika, Péter Horák, Kata Váradi, Péter Tamás Zwierczyk, Ágnes Vidovics-Dancs, János Péter Rádics  
This paper proposes an original approach to modelling and simulation of multi-agent systems which is based on statistical model checking (SMC). The approach is prototyped in the context of the popular UPPAAL SMC toolbox. Usefulness and validation of the approach are checked by applying it to a known complex and adaptive model of the Iterated Prisoner's Dilemma (IPD) game, by studying the emergence of cooperation in the presence of different social interaction structures.
doi:10.7148/2017-0011 dblp:conf/ecms/NigroS17 fatcat:ecqet7vuyvbolhr67e2qzqe25m