2MABS: A Monte Carlo Model Checker for Multiagent-Based Simulations

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]

Authors

Benjamin Herd

This author has not been identified. Look up 'Benjamin Herd' in Google

Simon Miles

Identified as Simon Miles

Peter McBurney

This author has not been identified. Look up 'Peter McBurney' in Google

Michael Luck

This author has not been identified. It may be one of the following persons: Look up 'Michael Luck' in Google