Statistical model checking of the Island Model: an established economic agent-based model of endogenous growth
Presented at MARS @ ETAPS 2026, this paper uses MultiVeStA to give the Island Model a more rigorous and reproducible statistical analysis.
Island Model + MultiVeStA — Statistical Model Checking of Economic Growth
Accepted paper at MARS @ ETAPS 2026. Reproduces and extends Fagiolo & Dosi (2003) Island Model using MultiVeStA for statistical model checking, with formal convergence guarantees …
•
1 min read