Articolo Accettato a MARS @ ETAPS 2026

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

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

Scritto in collaborazione con Giorgio Fagiolo, Daniele Giachini, Andrea Vandin ed Ernest Ivanaj, l’articolo mostra come il Statistical Model Checking (SMC) mediante MultiVeStA consenta di eseguire verifiche automatizzate e riproducibili su modelli macroeconomici agent-based.

Il lavoro è stato presentato a Torino il 12 Aprile 2026.

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, modelli agent-based differenziabili, agenti generativi basati su LLM e metodi quantitativi robusti per dati finanziari e socio-economici.