King's College London

Research portal

Verification and validation of agent-based simulations using approximate model checking

Research output: Chapter in Book/Report/Conference proceedingConference paper

Original languageEnglish
Title of host publicationMulti-Agent-Based Simulation XIV
Subtitle of host publicationInternational Workshop, MABS 2013, Saint Paul, MN, USA, May 6-7, 2013, Revised Selected Papers
EditorsShah Jamal Alam, H Van Dyke Parunak
PublisherSpringer-Verlag Berlin Heidelberg
Number of pages18
Volume8235 LNAI
ISBN (Electronic)978-3-642-54783-6
ISBN (Print)978-3-642-54782-9
Publication statusPublished - 1 Apr 2014
Event14th International Workshop on Multi-Agent-Based Simulation, MABS 2013 - Saint Paul, MN, United States
Duration: 6 May 20137 May 2013

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume8235 LNAI
ISSN (Print)03029743
ISSN (Electronic)16113349


Conference14th International Workshop on Multi-Agent-Based Simulation, MABS 2013
CountryUnited States
CitySaint Paul, MN

King's Authors


This paper focusses on the usefulness of approximate probabilistic model checking for the internal and external validation of large-scale agent-based simulations. We describe the translation of typical validation criteria into a variant of linear time logic. We further present a prototypical version of a highly customisable approximate model checker which we used in a range of experiments to verify properties of large scale models whose complexity prevents them from being amenable to conventional explicit or symbolic model checking.

View graph of relations

© 2018 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454