@inbook{99941699b8834358aa11560bdb6a604a,
title = "Quantitative analysis of Multiagent systems through statistical model checking",
abstract = "Due to their immense complexity, large-scale multiagent systems are often unamenable to exhaustive formal verification. Statistical approaches that focus on the verification of individual traces can provide an interesting alternative. However, due to its focus on finite execution paths, trace-based verification is inherently limited to certain types of correctness properties. We show how, by combining sampling with the idea of trace fragmentation, statistical model checking can be used to answer interesting quantitative correctness properties about multiagent systems on different observational levels. We illustrate the idea with a simple case study from the area of swarm robotics.",
keywords = "Multiagent systems, Quantitative analysis, Statistical model checking, Verification",
author = "Benjamin Herd and Simon Miles and Peter McBurney and Michael Luck",
year = "2015",
month = nov,
day = "15",
doi = "10.1007/978-3-319-26184-3_7",
language = "English",
isbn = "9783319261836",
volume = "9318",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer-Verlag Berlin Heidelberg",
pages = "109--130",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
note = "3rd International Workshop on Engineering Multi-Agent Systems, EMAS 2015 ; Conference date: 05-05-2015 Through 05-05-2015",
}