Title: Quantitative analysis of multi-agent systems through statistical verification of simulation traces

Authors: Benjamin Herd; Simon Miles; Peter McBurney; Michael Luck

Addresses: Department of Informatics, King's College London, London, UK ' Department of Informatics, King's College London, London, UK ' Department of Informatics, King's College London, London, UK ' Department of Informatics, King's College London, London, UK

Abstract: Due to their immense complexity, large-scale multi-agent systems are often not amenable to exhaustive formal verification. Statistical approaches that focus on the verification of individual traces can provide an interesting alternative that circumvents combinatorial explosion. 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 verification can be used to answer interesting quantitative correctness questions about multi-agent systems at different observational levels. The usefulness of the verification approach is illustrated with a simple case study from the area of swarm robotics.

Keywords: multi-agent systems; agent-based software engineering; agent-based simulation; statistical verification; statistical model checking; quantitative analysis.

DOI: 10.1504/IJAOSE.2018.094373

International Journal of Agent-Oriented Software Engineering, 2018 Vol.6 No.2, pp.156 - 186

Available online: 22 Aug 2018 *

Full-text access for editors Access for subscribers Purchase this article Comment on this article