MC2MABS: A Monte Carlo Model Checker for Multiagent-based Simulations

Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

6 Citations (Scopus)
143 Downloads (Pure)


Agent-based simulation has shown great success for the study of complex adaptive systems and could in many areas show advantages over traditional analytical methods. Due to their internal complexity, however, agent-based simulations are notoriously difficult to verify and validate. This paper presents MC2MABS, a Monte Carlo Model Checker for Multiagent-Based Simulations. It incorporates the idea of statistical runtime verification, a combination of statistical model checking and runtime verification, and is tailored to the approximate verification of complex agent-based simulations. We provide a description of the underlying theory together with design decisions, an architectural overview, and implementation details. The performance of MC2MABS in terms of both runtime consumption and memory allocation is evaluated against a set of example properties.

Original languageEnglish
Title of host publicationMulti-Agent-Based Simulation XVI
Subtitle of host publicationProceedings of the Sixteenth International Workshop on Multi-Agent-Based Simulation (MABS 2015)
Number of pages18
Publication statusPublished - 2016
Event16th International Workshop on Multi-Agent-Based Simulation, MABS 2015 - Istanbul, Turkey
Duration: 5 May 20155 May 2015

Publication series

NameLecture Notes in Computer Science


Conference16th International Workshop on Multi-Agent-Based Simulation, MABS 2015


  • Agent-based simulation
  • Formal methods
  • Testing
  • Verification


Dive into the research topics of 'MC2MABS: A Monte Carlo Model Checker for Multiagent-based Simulations'. Together they form a unique fingerprint.

Cite this