Presentazione a MARS @ ETAPS 2026
Ho presentato il nostro paper sull'Island Model a MARS @ ETAPS 2026 a Torino. E stata la prima presentazione del mio primo paper di PhD e anche la mia prima conferenza …
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.
Paper Accettato a MARS @ ETAPS 2026
Il nostro paper sullo statistical model checking per l'Island Model e stato accettato a MARS @ ETAPS 2026. Lo presentero 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