Presented at MARS @ ETAPS 2026

Tue, 14 Apr 2026 00:00:00 +0000

Last week I 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 was a particularly meaningful milestone for me: it was the first presentation of my first PhD paper, and also my first international conference.

I am very glad the talk went well. Beyond the presentation itself, I really appreciated the opportunity to discuss the work with professors and researchers in the area and to spend a few days in a workshop environment that I found open, stimulating, and genuinely pleasant.

The paper is co-authored with Giorgio Fagiolo, Daniele Giachini, Andrea Vandin, and Ernest Ivanaj, and focuses on how statistical model checking, and in particular MultiVeStA, can support a more rigorous analysis of the Island Model.

📄
👉
📰

Paper Accepted at MARS @ ETAPS 2026

Fri, 20 Mar 2026 00:00:00 +0000

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.

📄
👉
🎤

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 | Stefano Blando

Presented at MARS @ ETAPS 2026

Paper Accepted at MARS @ ETAPS 2026