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]
@inproceedings{HerdMML15a,
title = {Quantitative Analysis of Multiagent Systems Through Statistical Model Checking},
author = {Benjamin Herd and Simon Miles and Peter McBurney and Michael Luck},
year = {2015},
doi = {10.1007/978-3-319-26184-3_7},
url = {http://dx.doi.org/10.1007/978-3-319-26184-3_7},
researchr = {https://researchr.org/publication/HerdMML15a},
cites = {0},
citedby = {0},
pages = {109-130},
booktitle = {Engineering Multi-Agent Systems - Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers},
editor = {Matteo Baldoni and Luciano Baresi and Mehdi Dastani},
volume = {9318},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-26183-6},
}