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

• URL: http://arxiv.org/abs/2605.10447v1
• Date: Mon, 11 May 2026 12:19:16 GMT
• Title: Statistical Model Checking of the Keynes+Schumpeter Model: A Transient Sensitivity Analysis of a Macroeconomic ABM
• Abstract summary: We show how statistical model checking can provide a principled analysis layer for a realistic macroeconomic simulator.<n>The paper shows that SMC can support reproducible and informative quantitative analysis of substantively rich economic ABMs.
• Score: 0.3210887831772571
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Agent-based models (ABMs) are increasingly used in macroeconomics, but their analysis still often relies on ad hoc Monte Carlo campaigns with heterogeneous statistical effort across parameter settings. We show how statistical model checking (SMC), implemented through MultiVeStA, can provide a principled analysis layer for a realistic macroeconomic ABM without rewriting the simulator in a dedicated formalism. Our case study is the heuristic-switching Keynes+Schumpeter(K+S) model, analysed hrough a transient sensitivity campaign over one-parameter sweeps, two macro observables (unemployment and GDP growth), and one auxiliary micro-level probe (market share) on the post-warmup phase of a 600-step horizon. The analysis is driven by reusable temporal queries, observable-specific precision targets, and confidence-based stopping rules that automatically determine the simulation effort required by each configuration. Results show a clear contrast across parameter families: macro-financial and structural sweeps produce the strongest transient effects, whereas several heuristic-rule sweeps remain much weaker under the same precision policy. More broadly, the paper shows that SMC can support reproducible and informative quantitative analysis of substantively rich economic ABMs, while making uncertainty estimates and simulation cost explicit parts of the reported results.

Related papers

• Data-Driven Duration Management -- Term Structure Forecasting Using Machine Learning [0.0]
  We compare different methods for forecasting the term structure of U.S. and European zero-coupon government bonds.<n>To enhance predictive performance, macroeconomic variables are incorporated.<n>Results show that NNs consistently outperform traditional models in both forecasting accuracy and portfolio performance.
  arXiv  Detail & Related papers  (2026-06-25T09:58:28Z)
• Analytica: Soft Propositional Reasoning for Robust and Scalable LLM-Driven Analysis [14.518790584034761]
  Analytica is a novel large language model (LLM) agent architecture built on the principle of Soft Propositional Reasoning (SPR)<n>To reduce bias, problems are first into a tree of subpropositions, and tool-equipped LLM grounder agents are employed, including a novel Jupyter Notebook agent for data-driven analysis, that help to validate and score facts.<n>Our theoretical and empirical results show that Analytica improves 15.84% accuracy on average over diverse base models, achieving 71.06% accuracy with the lowest variance of 6.02% when working with a Deep Research grounder.
  arXiv  Detail & Related papers  (2026-04-24T23:56:53Z)
• $V_{0.5}$: Generalist Value Model as a Prior for Sparse RL Rollouts [81.48669089692189]
  Generalist Value Models (such as $V_0.5$) achieve pre-trained value estimation by explicitly encoding model capabilities in-context.<n>We propose $V_0.5$, which adaptively fuses the baseline predicted by such value model with the empirical mean derived from sparse rollouts.<n>$V_0.5$ significantly outperforms GRPO and DAPO, achieving faster convergence and over some 10% performance improvement.
  arXiv  Detail & Related papers  (2026-03-11T14:57:41Z)
• Echo State Networks for Time Series Forecasting: Hyperparameter Sweep and Benchmarking [51.56484100374058]
  We evaluate whether a fully automatic, purely feedback-driven ESN can serve as a competitive alternative to widely used statistical forecasting methods.<n>Forecast accuracy is measured using MASE and sMAPE and benchmarked against simple benchmarks like drift and seasonal naive and statistical models.
  arXiv  Detail & Related papers  (2026-02-03T16:01:22Z)
• Predictive Accuracy versus Interpretability in Energy Markets: A Copula-Enhanced TVP-SVAR Analysis [0.0]
  This paper investigates whether structural econometric models can rival machine learning in forecasting energy-macro dynamics.<n>We develop a unified framework that integrates Time-Varying Structural VARs (TVP-S VAR) with advanced dependence structures, including DCC-GARCH, t-copulas, and mixed Clayton-Frank-Gumbel copulas.<n>We conclude that machine learning can replicate predictive performance but cannot substitute the explanatory power of structural econometrics.
  arXiv  Detail & Related papers  (2026-01-27T08:04:16Z)
• Quantifying Weighted Morphological Content of Large-Scale Structures via Simulation-Based Inference [0.0]
  We compare the constraining power of two higher-order summary statistics of the large-scale structure (LSS)<n>We find that the Conditional Moments of Derivative (CMD) yields tighter forecasts for $(Omega_m,,sigma_8)$ than the zeroth- to third-order MFs components.
  arXiv  Detail & Related papers  (2025-11-05T16:54:17Z)
• Agentic World Modeling for 6G: Near-Real-Time Generative State-Space Reasoning [70.56067503630486]
  We argue that sixth-generation (6G) intelligence is not fluent token prediction but calibrated the capacity to imagine and choose.<n>We show that WM-MS3M cuts mean absolute error (MAE) by 1.69% versus MS3M with 32% fewer parameters and similar latency, and achieves 35-80% lower root mean squared error (RMSE) than attention/hybrid baselines with 2.3-4.1x faster inference.
  arXiv  Detail & Related papers  (2025-11-04T17:22:22Z)
• Generalisation Bounds of Zero-Shot Economic Forecasting using Time Series Foundation Models [1.131401554081614]
  This study investigates zero-shot forecasting capabilities of Time Series Foundation Models for macroeconomic indicators.<n>We back-tested three state-of-the-art TSFMs under data-scarce conditions and structural breaks.<n>Our findings suggest that, without any fine-tuning, TSFMs can match or exceed classical models during stable economic conditions.
  arXiv  Detail & Related papers  (2025-05-30T03:10:46Z)
• Learning Symbolic Persistent Macro-Actions for POMDP Solving Over Time [52.03682298194168]
  This paper proposes an integration of temporal logical reasoning and Partially Observable Markov Decision Processes (POMDPs)<n>Our method leverages a fragment of Linear Temporal Logic (LTL) based on Event Calculus (EC) to generate emphpersistent (i.e., constant) macro-actions.<n>These macro-actions guide Monte Carlo Tree Search (MCTS)-based POMDP solvers over a time horizon.
  arXiv  Detail & Related papers  (2025-05-06T16:08:55Z)
• On Least Square Estimation in Softmax Gating Mixture of Experts [78.3687645289918]
  We investigate the performance of the least squares estimators (LSE) under a deterministic MoE model. We establish a condition called strong identifiability to characterize the convergence behavior of various types of expert functions. Our findings have important practical implications for expert selection.
  arXiv  Detail & Related papers  (2024-02-05T12:31:18Z)
• Interpreting and predicting the economy flows: A time-varying parameter global vector autoregressive integrated the machine learning model [0.0]
  The paper proposes a time-varying parameter global vector autoregressive framework for predicting and analysing developed region economic variables. We show the convincing in-sample of our proposed model in all economic variables and relatively high precision out-of-sample predictions with different-frequency economic inputs.
  arXiv  Detail & Related papers  (2022-07-31T06:24:15Z)
• Multiplicative noise and heavy tails in stochastic optimization [62.993432503309485]
  empirical optimization is central to modern machine learning, but its role in its success is still unclear. We show that it commonly arises in parameters of discrete multiplicative noise due to variance. A detailed analysis is conducted in which we describe on key factors, including recent step size, and data, all exhibit similar results on state-of-the-art neural network models.
  arXiv  Detail & Related papers  (2020-06-11T09:58:01Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.