ETAPS 2026

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 …