Statistical Model Checking of the Keynes+Schumpeter Model: A Transient Sensitivity Analysis of a Macroeconomic ABM
arXiv preprint introducing Statistical Model Checking (SMC) via MultiVeStA for transient sensitivity analysis of the Keynes+Schumpeter (K+S) macroeconomic agent-based model.
