Presented at MARS @ ETAPS 2026
Apr 14, 2026·
·
1 min read
Stefano Blando
Presenting at MARS @ ETAPS 2026, TurinI presented our paper, “Statistical model checking of the Island Model: an established economic agent-based model of endogenous growth”, at MARS @ ETAPS 2026 in Turin.
This represented an important milestone: the first conference presentation of my PhD research at an international venue.
The talk provided an opportunity to discuss statistical model checking, formal verification, and simulation methodology with researchers in the field.
The paper is co-authored with Giorgio Fagiolo, Daniele Giachini, Andrea Vandin, and Ernest Ivanaj, focusing on how MultiVeStA enables statistical specification testing on complex simulation traces.
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.