Statistical Model Checking of the Keynes+Schumpeter Model: A Transient Sensitivity Analysis of a Macroeconomic ABM
Authors/Creators
Contributors
Hosting institution:
Project member (2):
Supervisor (2):
Description
This archive contains the reproducibility artifact for the paper “Statistical Model Checking of the Keynes+Schumpeter Model: A Transient Sensitivity Analysis of a Macroeconomic ABM”.
The artifact provides all material needed to reproduce the final paper-facing experimental campaign, consisting of twelve experiments (E1..E12) over three observables: unemployment, GDP growth, and firm-1 market share. The package includes:
- the artifact source files and documentation;
- the runtime payload and execution scripts;
- a prebuilt container image for offline evaluation;
- the paper PDF included in the AE submission package.
The recommended evaluation workflow is to load the included prebuilt container image and run the provided scripts for:
- a quick check;
- a representative subset of the paper experiments;
- the full experimental campaign.
Files
Files
(324.8 MB)
| Name | Size | |
|---|---|---|
|
md5:14ca47b121d814b12f4a6ebf35eec3ef
|
324.8 MB | Download |