Showing cs.MAShow all
2 papers · 1 filter
cs.MA2026
Statistical Model Checking of the Island Model: An Established Economic Agent-Based Model of Endogenous Growth
Stefano Blando, Giorgio Fagiolo, Daniele Giachini +2
Agent-based models (ABMs) are increasingly used to study complex economic phenomena such as endogenous growth, but their analysis typically relies on ad-hoc Monte Carlo exercises w…
cs.MA2025
Statistical Model Checking of NetLogo Models
Marco Pangallo, Daniele Giachini, Andrea Vandin
Agent-based models (ABMs) are gaining increasing traction in several domains, due to their ability to represent complex systems that are not easily expressible with classical mathe…