3 papers
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…
cs.CL2025
The ProLiFIC dataset: Leveraging LLMs to Unveil the Italian Lawmaking Process
Matilde Contestabile, Chiara Ferrara, Alberto Giovannetti +2
Process Mining (PM), initially developed for industrial and business contexts, has recently been applied to social systems, including legal ones. However, PM's efficacy in the lega…