Towards Agentic Agent-based Models: Feasibility, Performance, and Statistical Model Checking
arXiv preprint (2607.17948) evaluating LLM-driven agentic agent-based models with Statistical Model Checking via MultiVeStA.
Statistical Model Checking of the Keynes+Schumpeter Model: A Transient Sensitivity Analysis of a Macroeconomic ABM
arXiv preprint introducing Statistical Model Checking (SMC) via MultiVeStA for transient sensitivity analysis of the Keynes+Schumpeter (K+S) macroeconomic agent-based model.
Presented at MARS @ ETAPS 2026
Presented our Island Model paper at MARS @ ETAPS 2026 in Turin. First presentation of my PhD research at an international conference.
Statistical model checking of the Island Model: an established economic agent-based model of endogenous growth
Presented at MARS @ ETAPS 2026, this paper uses MultiVeStA to give the Island Model a more rigorous and reproducible statistical analysis.
Paper Accepted at MARS @ ETAPS 2026
Our paper on statistical model checking for the Island Model has been accepted at MARS @ ETAPS 2026. Presentation in Turin on April 12, 2026.
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 …
•
1 min read