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.