ISoLA 2024

International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece

Talk

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

Time: Sunday, 3.11

Room: Room 1

Authors:

Abstract: