Statistical model checking of the Island Model: an established economic agent-based model of endogenous growth
Presentato a MARS @ ETAPS 2026, questo paper usa MultiVeStA per dare all'Island Model un'analisi statistica piu rigorosa e riproducibile.
Island Model + MultiVeStA - Statistical Model Checking della Crescita Economica
Paper accettato a MARS @ ETAPS 2026. Riproduce ed estende l'Island Model di Fagiolo e Dosi (2003) usando MultiVeStA per statistical model checking, con garanzie formali di …
•
1 min di lettura