A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
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