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.
Presentato a MARS @ ETAPS 2026, questo paper usa MultiVeStA per dare all'Island Model un'analisi statistica piu rigorosa e riproducibile.
Il nostro paper sullo statistical model checking per l'Island Model e stato accettato a MARS @ ETAPS 2026. Lo presentero a Torino il 12 aprile 2026.
Il nuovo stimatore PFSE raggiunge breakdown point del 25% con speedup computazionale di 32x rispetto a MCD. Sharpe out-of-sample 1.87 su S&P 500 (2015-2025), drawdown ridotto del …