There is a newer version of the record available.

Published April 21, 2026 | Version v1

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

  • 1. ROR icon Scuola Superiore Sant'Anna
  • 2. ROR icon University of Pisa
  • 1. ROR icon Technical University of Denmark
  • 2. ROR icon Scuola Superiore Sant'Anna
  • 3. Université Côte d'Azur
  • 4. Observatoire Française des Conjonctures Économiques
  • 5. ROR icon Maastricht University

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

Additional details

Software

Programming language
C++ , Java , Python