Presentazione a MARS @ ETAPS 2026
Presentato l'articolo sull'Island Model a MARS @ ETAPS 2026 a Torino. Prima presentazione della ricerca di dottorato ad una conferenza internazionale.
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.
Articolo Accettato a MARS @ ETAPS 2026
Il nostro articolo sulla verifica statistica per l'Island Model è stato accettato a MARS @ ETAPS 2026. Presentazione a Torino il 12 Aprile 2026.
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