Statistical Verification
I use convergence diagnostics and statistical model checking to make simulation evidence more reliable and reproducible.
- Statistical Model Checking
- Agent-Based Modeling
- Reproducibility
Agent-based models and complex stochastic simulations generate massive execution traces that are notoriously challenging to validate formally. My work applies Statistical Model Checking (SMC), hypothesis testing, and rigorous statistical convergence diagnostics to verify complex simulation outcomes against temporal logic specifications. This bridge between formal methods and agent-based economics establishes quantifiable confidence intervals for policy interventions and stress-test scenarios.
Publications
- 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.
- Agentic AI
- Agent-Based Modeling
- Large Language Models
- Statistical Model Checking
- 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.
- Agent-Based Modeling
- Macroeconomics
- Keynes+Schumpeter Model
- Statistical Model Checking
- 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.
- Agent-Based Modeling
- Computational Economics
- Statistical Model Checking
- MultiVeStA
Projects
- 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 on parameter sensitivity analysis.
- Research
- Agent-Based Modeling
- Statistical Model Checking
- MultiVeStA