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.
Statistical Model Checking of Multi-Agent Systems
Libero Nigro
Membro del Collaboration Group
;Paolo F. SciammarellaMembro del Collaboration Group
2017-01-01
Abstract
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.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
