Presentazione a MARS @ ETAPS 2026
14 apr 2026·
·
1 min di lettura
Stefano Blando
Presentazione a MARS @ ETAPS 2026, TorinoHo presentato il nostro lavoro, “Statistical model checking of the Island Model: an established economic agent-based model of endogenous growth”, a MARS @ ETAPS 2026 a Torino.
La presentazione ha rappresentato una tappa significativa nel mio percorso di dottorato, consentendo di condividere i risultati metodologici sulla verifica statistica dei modelli agent-based con la comunità scientifica internazionale.
L’articolo è scritto in collaborazione con Giorgio Fagiolo, Daniele Giachini, Andrea Vandin ed Ernest Ivanaj, e approfondisce l’uso di MultiVeStA per la verifica automatizzata di specifiche su simulazioni stocastiche.
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, modelli agent-based differenziabili, agenti generativi basati su LLM
e metodi quantitativi robusti per dati finanziari e socio-economici.