Paper Accettato a MARS @ ETAPS 2026

20 mar 2026·
Stefano Blando
Stefano Blando
· 1 min di lettura
MARS @ ETAPS 2026, Turin
blog

Il nostro paper, “Statistical model checking of the Island Model: an established economic agent-based model of endogenous growth”, e stato accettato a MARS @ ETAPS 2026.

Il lavoro e co-firmato con Giorgio Fagiolo, Daniele Giachini, Andrea Vandin ed Ernest Ivanaj. Il paper mostra come statistical model checking e MultiVeStA possano essere usati per rendere l’analisi dell’Island Model piu rigorosa, piu automatizzata e piu riproducibile, preservando al tempo stesso la sostanza economica del framework originale.

L’ho presentato a Torino, domenica 12 aprile 2026.

📄 Leggi la versione nei proceedings
👉 Vai alla pagina della pubblicazione
🎤 Vedi il resoconto della presentazione

Per me, questo e uno degli esempi piu chiari della direzione che voglio dare al mio lavoro di dottorato: fornire basi statistiche piu forti ai modelli di simulazione complessi senza perderne l’interpretabilita.

Conference Statistical Model Checking MultiVeStA Agent-Based Modeling Computational Economics ETAPS
Stefano Blando
Authors
Stefano Blando (lui/lui)
Dottorando in Intelligenza Artificiale
Stefano Blando e dottorando nel Programma Nazionale di Dottorato in Intelligenza Artificiale presso la Scuola Superiore Sant’Anna e l’Universita di Pisa. La sua ricerca si colloca all’intersezione tra AI, agent-based modeling ed economia. Studia sistemi multi-agente adattivi, verifica statistica di simulazioni economiche e metodi quantitativi robusti per dati finanziari e socio-economici.