Home

Distributed Statistical Model Checking for Discrete Event Simulators and Agent-based Models

Summary

MultiVeStA is an efficient statistical analysis tool which

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

Analysis

The tool supports:

• Transient analysis: what is the expected value of a model's property at a given point in time /as time progresses?
• 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?
• Counterfactual analysis: do the model dynamics change significantly across different parametrizations?

History

MultiVeStA:

• has been created in 2012, focusing on transient analysis find more info here
• has been recently deeply refactored in 2021, adding a number of analysis techniques as discussed here
• 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.,

• economical agent-based models,
• engineering of highly-configurable systems,
• public transportation systems in smart cities example 1, example 2, example 3
• biological systems
• robotic scenarios with planning capabilities example 1, example 2
• crowd steering scenarios

Contacts

Please conact us for information on

• how to get MultiVeStA and
• how to integrate it with your simulator

We will reply shortly