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.
Ernest Ivanaj