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 …
