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.
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 …
Presentazione a MARS @ ETAPS 2026
Presentato l'articolo sull'Island Model a MARS @ ETAPS 2026 a Torino. Prima presentazione della ricerca di dottorato ad una conferenza internazionale.
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.
Articolo Accettato a MARS @ ETAPS 2026
Il nostro articolo sulla verifica statistica per l'Island Model è stato accettato a MARS @ ETAPS 2026. Presentazione a Torino il 12 Aprile 2026.
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 …
•
1 min di lettura