Skip to content
Andrea Vandin edited this page Feb 15, 2021 · 35 revisions

Simulation-based analysis made easy

Summary

MultiVeStA is an efficient statistical analysis tool which

  • can be easily integrated with existing discrete-event simulators and agent-based models
  • enriching them with automated and distributed statistical analysis techniques from the family of Statistical Model Checking.

Details

Supported Analysis

  • Transient analysis: what is the expected value of a model's property at a given point in time /as time progresses?
  • Counterfactual analysis: do the model dynamics change significantly across different parametrizations?
  • Steady-state analysis: what is the expected value of a model's property on the long run / after it stabilizes?
  • Ergodicity diagnosis: does the model actually has a steady-state? / does it make sense at all to perform a steady-state analysis?

Statistically reliable counterfactual analysis

History

  • MultiVeStA has been created in 2012, focusing on transient analysis find more info here
  • It has been recently deeply refactored in 2021, adding a number of analysis techniques as discussed here
  • It supports any simulator written in Java, C++, Python, R, or developed within the JMAB framework

Examples of Considered models

MultiVeStA has been successfully applied in a wide range of domains including, e.g.,

Contacts

Please conact us for information on

  • how to get MultiVeStA and
  • how to integrate it with your simulator
    We will reply shortly

Replicability

Please use the menu on the right to access the replicability material for the paper