Benjamin Herd, Simon Miles, Peter McBurney, Michael Luck. 2MABS: A Monte Carlo Model Checker for Multiagent-Based Simulations. In Benoit Gaudou, Jaime Simão Sichman, editors, Multi-Agent-Based Simulation XVI - International Workshop, MABS 2015, Istanbul, Turkey, May 5, 2015, Revised Selected Papers. Volume 9568 of Lecture Notes in Computer Science, pages 37-54, Springer, 2015. [doi]
@inproceedings{HerdMML15-0,
title = {2MABS: A Monte Carlo Model Checker for Multiagent-Based Simulations},
author = {Benjamin Herd and Simon Miles and Peter McBurney and Michael Luck},
year = {2015},
doi = {10.1007/978-3-319-31447-1_3},
url = {http://dx.doi.org/10.1007/978-3-319-31447-1_3},
researchr = {https://researchr.org/publication/HerdMML15-0},
cites = {0},
citedby = {0},
pages = {37-54},
booktitle = {Multi-Agent-Based Simulation XVI - International Workshop, MABS 2015, Istanbul, Turkey, May 5, 2015, Revised Selected Papers},
editor = {Benoit Gaudou and Jaime Simão Sichman},
volume = {9568},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-31446-4},
}