Statistical model checking of the Island Model: an established economic agent-based model of endogenous growth

I modelli agent-based (ABM) sono sempre piu usati per studiare fenomeni economici complessi come la crescita endogena, ma la loro analisi si basa spesso su esercizi Monte Carlo ad hoc senza garanzie statistiche formali. Mostriamo come lo statistical model checking (SMC), e in particolare MultiVeStA, possa automatizzare e arricchire l’analisi di un ABM classico: l’Island Model di Fagiolo e Dosi, che cattura il trade-off tra exploration ed exploitation nella ricerca tecnologica. Riproduciamo i principali stylized facts del modello originale con intervalli di confidenza formali, confermiamo l’ottimalita di tassi moderati di esplorazione e svolgiamo un’analisi di sensibilita controfattuale su returns to scale, trasferimento di skill e localita della conoscenza. Usando il Welch’s t-test integrato in MultiVeStA, 6 confronti su 7 tra coppie di parametri producono traiettorie di crescita statisticamente differenti, mentre l’eccezione rivela un effetto di saturazione nella localita della conoscenza. I risultati mostrano che lo SMC offre una metodologia fondata e riproducibile per l’analisi quantitativa di modelli economici agent-based.

MARS @ ETAPS 2026, Turin, Italy