International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 14:30 | Panel Discussion | |
| 15:30 | Statistical Model Checking of python Agent-based models: an integration of MultiVeStA and Mesa |