Statistical Model Checking of Python Agent-Based Models: An Integration of MultiVeStA and Mesa.

Andrea Vandin

Browse the full VECoS paper archive.