Statistical Model Checking of the Keynes+Schumpeter Model: A Transient Sensitivity Analysis of a Macroeconomic ABM. - Stefano Blando; Giorgio Fagiolo; Mauro Napoletano; Tania Treibich; Andrea Vandin (CoRR, 2026)