MultiVeStA: Statistical Analysis of Economic Agent-Based Models by Statistical Model Checking

Andrea Vandin, Daniele Giachini, Francesco Lamperti, Francesca Chiaromonte

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

We overview our recent work on the statistical analysis of simulation models and, especially, economic agent-based models (ABMs). We present a redesign of MultiVeStA, a fully automated and model-agnostic toolkit that can be integrated with existing simulators to inspect simulations and perform counterfactual analysis. Our approach: (i) is easy-to-use by the modeler, (ii) improves reproducibility of results, (iii) optimizes running time given the modeler’s machine, (iv) automatically chooses the number of required simulations and simulation steps to reach user-specified statistical confidence, and (v) automatically performs a variety of statistical tests. In particular, our framework is designed to distinguish the transient dynamics of the model from its steady-state behavior (if any), estimate properties of the model in both “phases”, and provide indications on the ergodic (or non-ergodic) nature of the simulated processes – which, in turns allows one to gauge the reliability of a steady-state analysis. Estimates are equipped with statistical guarantees, allowing for robust comparisons across computational experiments. This allows us to obtain new insights from models from the literature, and to fix some erroneous conclusions on them.

Original languageEnglish (US)
Title of host publicationFrom Data to Models and Back - 10th International Symposium, DataMod 2021, Revised Selected Papers
EditorsJuliana Bowles, Giovanna Broccia, Roberto Pellungrini
PublisherSpringer Science and Business Media Deutschland GmbH
Pages3-6
Number of pages4
ISBN (Print)9783031160103
DOIs
StatePublished - 2022
Event10th International Symposium on From Data Models and Back, DataMod 2021, held as a satellite event of the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021 - Virtual, Online
Duration: Dec 6 2021Dec 7 2021

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume13268 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference10th International Symposium on From Data Models and Back, DataMod 2021, held as a satellite event of the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021
CityVirtual, Online
Period12/6/2112/7/21

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • General Computer Science

Fingerprint

Dive into the research topics of 'MultiVeStA: Statistical Analysis of Economic Agent-Based Models by Statistical Model Checking'. Together they form a unique fingerprint.

Cite this