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)

Abstract

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)
PublisherSpringer
Pages37-54
Number of pages18
Volume9586
DOIs
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

Conference

Conference16th International Workshop on Multi-Agent-Based Simulation, MABS 2015
Country/TerritoryTurkey
CityIstanbul
Period5/05/20155/05/2015

Keywords

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

Fingerprint

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

Cite this