Quantitative analysis of multi-agent systems through statistical verification of simulation traces Online publication date: Wed, 22-Aug-2018
by Benjamin Herd; Simon Miles; Peter McBurney; Michael Luck
International Journal of Agent-Oriented Software Engineering (IJAOSE), Vol. 6, No. 2, 2018
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.
Online publication date: Wed, 22-Aug-2018
If you are not a subscriber and you just want to read the full contents of this article, buy online access here.Complimentary Subscribers, Editors or Members of the Editorial Board of the International Journal of Agent-Oriented Software Engineering (IJAOSE):
Login with your Inderscience username and password:
Want to subscribe?
A subscription gives you complete access to all articles in the current issue, as well as to all articles in the previous three years (where applicable). See our Orders page to subscribe.
If you still need assistance, please email email@example.com