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 at MARS @ ETAPS 2026.

The work is co-authored with Giorgio Fagiolo, Daniele Giachini, Andrea Vandin, and Ernest Ivanaj. The paper shows how statistical model checking and MultiVeStA can be used to make the analysis of the Island Model more rigorous, more automated, and more reproducible, while preserving the economic substance of the original framework.

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

📄 Read the proceedings version
👉 View the publication page
🎤 See the presentation recap

For me, this is one of the clearest examples of the direction I want to push in my PhD work: giving complex simulation models stronger statistical foundations without losing their interpretability.

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, statistical verification of economic simulations, and robust quantitative methods for financial and socio-economic data.