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

Benjamin Herd; Simon Miles; Peter McBurney; Michael Luck

doi:10.1007/978-3-642-54783-6_4

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

Benjamin Herd^*, Simon Miles, Peter McBurney, Michael Luck

^*Corresponding author for this work

Department of Informatics

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

4 Citations (Scopus)

Abstract

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.

Original language	English
Title of host publication	Multi-Agent-Based Simulation XIV
Subtitle of host publication	International Workshop, MABS 2013, Saint Paul, MN, USA, May 6-7, 2013, Revised Selected Papers
Editors	Shah Jamal Alam, H Van Dyke Parunak
Publisher	Springer-Verlag Berlin Heidelberg
Pages	53-70
Number of pages	18
Volume	8235 LNAI
ISBN (Electronic)	978-3-642-54783-6
ISBN (Print)	978-3-642-54782-9
DOIs	https://doi.org/10.1007/978-3-642-54783-6_4
Publication status	Published - 1 Apr 2014
Event	14th International Workshop on Multi-Agent-Based Simulation, MABS 2013 - Saint Paul, MN, United States Duration: 6 May 2013 → 7 May 2013

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	8235 LNAI
ISSN (Print)	03029743
ISSN (Electronic)	16113349

Conference

Conference	14th International Workshop on Multi-Agent-Based Simulation, MABS 2013
Country/Territory	United States
City	Saint Paul, MN
Period	6/05/2013 → 7/05/2013

Keywords

Agent-based simulation
Model checking
Validation
Verification

Access to Document

10.1007/978-3-642-54783-6_4

Cite this

Herd, B., Miles, S., McBurney, P., & Luck, M. (2014). Verification and validation of agent-based simulations using approximate model checking. In S. J. Alam, & H. V. D. Parunak (Eds.), Multi-Agent-Based Simulation XIV: International Workshop, MABS 2013, Saint Paul, MN, USA, May 6-7, 2013, Revised Selected Papers (Vol. 8235 LNAI, pp. 53-70). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8235 LNAI). Springer-Verlag Berlin Heidelberg. https://doi.org/10.1007/978-3-642-54783-6_4

Herd, Benjamin ; Miles, Simon ; McBurney, Peter et al. / Verification and validation of agent-based simulations using approximate model checking. Multi-Agent-Based Simulation XIV: International Workshop, MABS 2013, Saint Paul, MN, USA, May 6-7, 2013, Revised Selected Papers. editor / Shah Jamal Alam ; H Van Dyke Parunak. Vol. 8235 LNAI Springer-Verlag Berlin Heidelberg, 2014. pp. 53-70 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inbook{05d2ff6d41004e72bb6c3f628cfb3bb8,

title = "Verification and validation of agent-based simulations using approximate model checking",

abstract = "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. ",

keywords = "Agent-based simulation, Model checking, Validation, Verification",

author = "Benjamin Herd and Simon Miles and Peter McBurney and Michael Luck",

year = "2014",

month = apr,

day = "1",

doi = "10.1007/978-3-642-54783-6_4",

language = "English",

isbn = "978-3-642-54782-9",

volume = "8235 LNAI",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer-Verlag Berlin Heidelberg",

pages = "53--70",

editor = "Alam, {Shah Jamal} and Parunak, {H Van Dyke }",

booktitle = "Multi-Agent-Based Simulation XIV",

note = "14th International Workshop on Multi-Agent-Based Simulation, MABS 2013 ; Conference date: 06-05-2013 Through 07-05-2013",

}

Herd, B , Miles, S , McBurney, P & Luck, M 2014, Verification and validation of agent-based simulations using approximate model checking. in SJ Alam & HVD Parunak (eds), Multi-Agent-Based Simulation XIV: International Workshop, MABS 2013, Saint Paul, MN, USA, May 6-7, 2013, Revised Selected Papers. vol. 8235 LNAI, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8235 LNAI, Springer-Verlag Berlin Heidelberg, pp. 53-70, 14th International Workshop on Multi-Agent-Based Simulation, MABS 2013, Saint Paul, MN, United States, 6/05/2013. https://doi.org/10.1007/978-3-642-54783-6_4

Verification and validation of agent-based simulations using approximate model checking. / Herd, Benjamin ; Miles, Simon ; McBurney, Peter et al.
Multi-Agent-Based Simulation XIV: International Workshop, MABS 2013, Saint Paul, MN, USA, May 6-7, 2013, Revised Selected Papers. ed. / Shah Jamal Alam; H Van Dyke Parunak. Vol. 8235 LNAI Springer-Verlag Berlin Heidelberg, 2014. p. 53-70 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8235 LNAI).

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

TY - CHAP

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

AU - Herd, Benjamin

AU - Miles, Simon

AU - McBurney, Peter

AU - Luck, Michael

PY - 2014/4/1

Y1 - 2014/4/1

N2 - 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.

AB - 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.

KW - Agent-based simulation

KW - Model checking

KW - Validation

KW - Verification

UR - http://www.scopus.com/inward/record.url?scp=84899080118&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-54783-6_4

DO - 10.1007/978-3-642-54783-6_4

M3 - Conference paper

SN - 978-3-642-54782-9

VL - 8235 LNAI

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 53

EP - 70

BT - Multi-Agent-Based Simulation XIV

A2 - Alam, Shah Jamal

A2 - Parunak, H Van Dyke

PB - Springer-Verlag Berlin Heidelberg

T2 - 14th International Workshop on Multi-Agent-Based Simulation, MABS 2013

Y2 - 6 May 2013 through 7 May 2013

ER -

Herd B , Miles S , McBurney P , Luck M. Verification and validation of agent-based simulations using approximate model checking. In Alam SJ, Parunak HVD, editors, Multi-Agent-Based Simulation XIV: International Workshop, MABS 2013, Saint Paul, MN, USA, May 6-7, 2013, Revised Selected Papers. Vol. 8235 LNAI. Springer-Verlag Berlin Heidelberg. 2014. p. 53-70. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-642-54783-6_4

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

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this