Paper Accepted at MARS @ ETAPS 2026

Mar 20, 2026·
Stefano Blando
Stefano Blando
· 1 min read
MARS @ ETAPS 2026, Turin
blog

Our paper, “Statistical model checking of the Island Model: an established economic agent-based model of endogenous growth”, has been accepted for publication and presentation at MARS @ ETAPS 2026.

Co-authored with Giorgio Fagiolo, Daniele Giachini, Andrea Vandin, and Ernest Ivanaj, the work demonstrates how Statistical Model Checking (SMC) via MultiVeStA enables automated, reproducible verification of agent-based macroeconomic models while preserving their underlying behavioral structure.

I presented the paper in Turin, Italy, on Sunday, April 12, 2026.

Conference Statistical Model Checking MultiVeStA Agent-Based Modeling Computational Economics ETAPS
Stefano Blando
Authors
Stefano Blando (he/him)
PhD Student in Artificial Intelligence
Stefano Blando is a PhD student in the National PhD Program in Artificial Intelligence at Scuola Superiore Sant’Anna and the University of Pisa. His research lies at the intersection of AI, agent-based modeling, and economics. He studies adaptive multi-agent systems, differentiable agent-based models, LLM-based generative agents, and robust quantitative methods for financial and socio-economic data.