Statistical Model Checking of the Island Model: An Established Economic Agent-Based Model of Endogenous Growth

Stefano Blando, Giorgio Fagiolo, Daniele Giachini +2

Agent-based models (ABMs) are increasingly used to study complex economic phenomena such as endogenous growth, but their analysis typically relies on ad-hoc Monte Carlo exercises w…