TY  - RPRT
TI  - Statistical Model Checking of the Island Model: An Established Economic Agent-Based Model of Endogenous Growth
AU  - Stefano Blando
AU  - Giorgio Fagiolo
AU  - Daniele Giachini
AU  - Andrea Vandin
AU  - Ernest Ivanaj
PY  - 2026
DO  - 10.4204/eptcs.443.2
UR  - https://arxiv.org/abs/2604.04543
ID  - 2604.04543
ER  -