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 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.