Integration with Mesa

MultiVeStA can be integrated with Python simulators, as shown here. This allowed us to integrate MultiVeStA with Mesa, a popular python-based frameworm for agent-based models.

This integration has been presented in the paper Statistical Model Checking of python Agent-based models: an integration of MultiVeStA and Mesa.

• The paper and its replicability material contain instructions, examples, and code on
  • how to replicate all experiments in the paper
  • how to integrate and analyze further Mesa models.
• The paper and its replicability material are available on this Zenodo page.