Statistical Model Checking

Presented at MARS @ ETAPS 2026 featured image

Presented at MARS @ ETAPS 2026

I presented our Island Model paper at MARS @ ETAPS 2026 in Turin. It was the first presentation of my first PhD paper and my first international conference.

avatar
Stefano Blando
Statistical model checking of the Island Model: an established economic agent-based model of endogenous growth featured image

Statistical model checking of the Island Model: an established economic agent-based model of endogenous growth

Presented at MARS @ ETAPS 2026, this paper uses MultiVeStA to give the Island Model a more rigorous and reproducible statistical analysis.

avatar
Stefano Blando
Paper Accepted at MARS @ ETAPS 2026 featured image

Paper Accepted at MARS @ ETAPS 2026

Our paper on statistical model checking for the Island Model has been accepted at MARS @ ETAPS 2026. I will present it in Turin on April 12, 2026.

avatar
Stefano Blando
Island Model + MultiVeStA — Statistical Model Checking of Economic Growth featured image

Island Model + MultiVeStA — Statistical Model Checking of Economic Growth

Accepted paper at MARS @ ETAPS 2026. Reproduces and extends Fagiolo & Dosi (2003) Island Model using MultiVeStA for statistical model checking, with formal convergence guarantees …