Ernest Ivanaj

Statistical model checking of the Island Model: an established economic agent-based model of endogenous growth featured image
Agent-Based Modeling

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.

avatar
Stefano Blando
•
Read more