Verifica Statistica
Uso diagnostiche di convergenza e statistical model checking per rendere le evidenze di simulazione più affidabili e riproducibili.
- Statistical Model Checking
- Modellazione ad Agenti
- Riproducibilità
I modelli ad agenti e le simulazioni stocastiche complesse generano tracce di esecuzione enormi, notoriamente difficili da validare in modo formale. Il mio lavoro applica lo Statistical Model Checking (SMC), i test d'ipotesi e diagnostiche rigorose di convergenza statistica per verificare gli esiti di simulazioni complesse rispetto a specifiche in logica temporale. Questo ponte fra metodi formali ed economia ad agenti stabilisce intervalli di confidenza quantificabili per gli interventi di policy e per gli scenari di stress test.
Pubblicazioni
- Towards Agentic Agent-based Models: Feasibility, Performance, and Statistical Model Checking Preprint arXiv (2607.17948) che valuta i modelli agent-based agentici basati su LLM con Statistical Model Checking tramite MultiVeStA.
- AI Agentica
- Modellazione Agent-Based
- Large Language Models
- Statistical Model Checking
- Statistical Model Checking of the Keynes+Schumpeter Model: A Transient Sensitivity Analysis of a Macroeconomic ABM Preprint arXiv che applica il Statistical Model Checking (SMC) via MultiVeStA per l'analisi di sensibilità transitoria del modello macroeconomico agent-based Keynes+Schumpeter (K+S).
- Modellazione Agent-Based
- Macroeconomia
- Modello Keynes+Schumpeter
- Statistical Model Checking
- Statistical model checking of the Island Model: an established economic agent-based model of endogenous growth Presentato a MARS @ ETAPS 2026, questo paper usa MultiVeStA per dare all'Island Model un'analisi statistica piu rigorosa e riproducibile.
- Agent-Based Modeling
- Computational Economics
- Statistical Model Checking
- MultiVeStA
Progetti
- Island Model + MultiVeStA - Statistical Model Checking della Crescita Economica Paper accettato a MARS @ ETAPS 2026. Riproduce ed estende l'Island Model di Fagiolo e Dosi (2003) usando MultiVeStA per statistical model checking, con garanzie formali di convergenza sull'analisi di sensibilita dei parametri.
- Research
- Agent-Based Modeling
- Statistical Model Checking
- MultiVeStA