Benjamin Herd, Simon Miles, Peter McBurney, Michael Luck. Quantitative Analysis of Multiagent Systems Through Statistical Model Checking. In Matteo Baldoni, Luciano Baresi, Mehdi Dastani, editors, Engineering Multi-Agent Systems - Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers. Volume 9318 of Lecture Notes in Computer Science, pages 109-130, Springer, 2015. [doi]