Statistical Model Checking of the Keynes+Schumpeter Model: A Transient Sensitivity Analysis of a Macroeconomic ABM

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.