Replicability material for Statistical Model Checking of python Agent-based models: an integration of MultiVeStA and Mesa

Replicability material for the paper 'Statistical Model Checking of Python Agent-based models: An Integration of MultiVeStA and Mesa'.

The paper presents an integration of the statistical model checker MultiVeStA with Mesa, a Python-based framework for agent-based models. 

The replicability package allows to replicate all experiments in the paper, and can be used as a starting point to integrate and analyze new further models.

Troubleshooting

1. If you get an error message like "AttributeError: 'Schelling'  object has not attribute 'agents'", then most likely you are running an old version of Mesa. Please upgrade it. It has been tested successfully with Mesa 2.2.4 (on Mac OSx), as well as Mesa 2.3.2 (on Windows 10).
   1. We thank Zhongly Wang from Bielefeld University, Germany