Statistical Model Checking of the Island Model: An Established Economic Agent-Based Model of Endogenous Growth. - Stefano Blando; Giorgio Fagiolo; Daniele Giachini; Andrea Vandin; Ernest Ivanaj (CoRR, 2026)