|
|
Digital
Library of the European Council for Modelling and Simulation |
|
Title: |
Statistical Model Checking Of
Multi-Agent Systems |
|
Authors: |
Libero
Nigro, Paolo F. Sciammarella |
|
Published in:
|
(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 European Council for Modeling and Simulation. doi:10.7148/2017 ISBN:
978-0-9932440-4-9/ ISBN:
978-0-9932440-5-6 (CD) 31st European Conference on Modelling and Simulation, Budapest, Hungary, May 23rd
– May 26th, 2017 |
|
Citation
format: |
Libero Nigro, Paolo F. Sciammarella (2017). Statistical Model Checking Of
Multi-Agent Systems, 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 European Council for Modeling and Simulation. doi: 10.7148/2017-0011 |
|
DOI: |
https://doi.org/10.7148/2017-0011 |
|
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. |
|
Full
text: |
|
