Benjamin Herd, Simon Miles, Peter McBurney, Michael Luck. Verification and Validation of Agent-Based Simulations Using Approximate Model Checking. In Shah Jamal Alam, H. Van Dyke Parunak, editors, Multi-Agent-Based Simulation XIV - International Workshop, MABS 2013, Saint Paul, MN, USA, May 6-7, 2013, Revised Selected Papers. Volume 8235 of Lecture Notes in Computer Science, pages 53-70, Springer, 2013. [doi]
Abstract is missing.