{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T20:10:05Z","timestamp":1748808605215,"version":"3.41.0"},"publisher-location":"Cham","reference-count":39,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319314464"},{"type":"electronic","value":"9783319314471"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-31447-1_3","type":"book-chapter","created":{"date-parts":[[2016,3,14]],"date-time":"2016-03-14T05:10:30Z","timestamp":1457932230000},"page":"37-54","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["$$ \\texttt {MC} ^ \\texttt {2} \\texttt {MABS} $$ MC 2 MABS : A Monte Carlo Model Checker for Multiagent-Based Simulations"],"prefix":"10.1007","author":[{"given":"Benjamin","family":"Herd","sequence":"first","affiliation":[]},{"given":"Simon","family":"Miles","sequence":"additional","affiliation":[]},{"given":"Peter","family":"McBurney","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Luck","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,3,15]]},"reference":[{"key":"3_CR1","unstructured":"MC $$^{2}$$ 2 MABS. https:\/\/github.com\/bherd\/mc2mabs . Accessed February 2015"},{"key":"3_CR2","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.-P.: Principles of Model Checking. The MIT Press, Cambridge (2008)"},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/978-3-642-04879-1_12","volume-title":"Safety and Security in Multiagent Systems","author":"P Ballarini","year":"2009","unstructured":"Ballarini, P., Fisher, M., Wooldridge, M.: Uncertain agent verification through probabilistic model-checking. In: Barley, M., Mouratidis, H., Unruh, A., Spears, D., Scerri, P., Massacci, F. (eds.) Safety and Security in Multiagent Systems. LNCS, vol. 4324, pp. 162\u2013174. Springer, Heidelberg (2009)"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Bharathy, G.K., Silverman, B.: Validating agent based social systems models. In: Proceedings of the Winter Simulation Conference, pp. 441\u2013453. Winter Simulation Conference (2010)","DOI":"10.1109\/WSC.2010.5679142"},{"key":"3_CR5","unstructured":"Bosse, T., Mogles, N.: Comparing modelling approaches in aviation safety. In: Curran, R. (eds.) Proceedings of the 4th International Air Transport and Operations Symposium, Toulouse, France (2013)"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/978-3-319-14627-0_2","volume-title":"Multi-Agent-Based Simulation XV","author":"\u0130 \u00c7ak\u0131rlar","year":"2015","unstructured":"\u00c7ak\u0131rlar, \u0130., G\u00fcrcan, \u00d6., Dikenelli, O., Bora, \u015e.: RatKit: repeatable automated testing toolkit for agent-based modeling and simulation. In: Grimaldo, F., Norling, E. (eds.) MABS 2014. LNCS, vol. 9002, pp. 17\u201327. Springer, Heidelberg (2015)"},{"issue":"1","key":"3_CR7","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1008855018923","volume":"4","author":"YU Cao","year":"1997","unstructured":"Cao, Y.U., Fukunaga, A.S., Kahng, A.: Cooperative mobile robotics: antecedents and directions. Auton. Robots 4(1), 7\u201327 (1997)","journal-title":"Auton. Robots"},{"key":"3_CR8","first-page":"17","volume":"8","author":"N Collier","year":"2001","unstructured":"Collier, N.: Repast: an extensible framework for agent simulation. Nat. Resour. Environ. Issues 8, 17\u201321 (2001)","journal-title":"Nat. Resour. Environ. Issues"},{"key":"3_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-6984-2","volume-title":"Specification and Verification of Multi-Agent Systems","author":"M Dastani","year":"2010","unstructured":"Dastani, M., Hindriks, K.V., Meyer, J.-J.: Specification and Verification of Multi-Agent Systems. Springer Science & Business Media, Heidelberg (2010)"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1007\/11734697_11","volume-title":"Engineering Self-Organising Systems","author":"T Wolf De","year":"2006","unstructured":"De Wolf, T., Holvoet, T., Samaey, G.: Development of self-organising emergent applications with simulation-based numerical analysis. In: Brueckner, S.A., Di Marzo Serugendo, G., Hales, D., Zambonelli, F. (eds.) ESOA 2005. LNCS (LNAI), vol. 3910, pp. 138\u2013152. Springer, Heidelberg (2006)"},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1007\/978-3-540-78127-1_14","volume-title":"Pillars of Computer Science","author":"MI Dekhtyar","year":"2008","unstructured":"Dekhtyar, M.I., Dikovsky, A.J., Valiev, M.K.: Temporal verification of probabilistic multi-agent systems. In: Avron, A., Dershowitz, N., Rabinovich, A. (eds.) Pillars of Computer Science. LNCS, vol. 4800, pp. 256\u2013265. Springer, Heidelberg (2008)"},{"key":"3_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-540-24622-0_8","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"T H\u00e9rault","year":"2004","unstructured":"H\u00e9rault, T., Lassaigne, R., Magniette, F., Peyronnet, S.: Approximate probabilistic model checking. In: Steffen, B., Levi, G. (eds.) VMCAI 2004. LNCS, vol. 2937, pp. 73\u201384. Springer, Heidelberg (2004)"},{"key":"3_CR13","unstructured":"Herd, B.: Statistical runtime verification of agent-based simulations. PhD thesis, King\u2019s College London (2015)"},{"key":"3_CR14","unstructured":"Herd, B., Miles, S., McBurney, P., Luck, M.: An LTL-based property specification language for agent-based simulation traces. TR 14\u201302, King\u2019s College London, October 2014"},{"key":"3_CR15","unstructured":"Herd, B., Miles, S., McBurney, P., Luck, M.: Approximate verification of swarm-based systems: a vision and preliminary results. In: Engineering Systems for Safety: Proceedings of 23rd Safety-Critical Systems Symposium. CreateSpace Independent Publishing Platform (2015)"},{"key":"3_CR16","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/978-3-319-26184-3_7","volume-title":"Engineering Multi-Agent Systems","author":"Benjamin Herd","year":"2015","unstructured":"Herd, B., Miles, S., McBurney, P., Luck, M.: Towards quantitative analysis of multiagent systems through statistical model checking. In: 3rd International Workshop on Engineering Multiagent Systems (2015)"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Karnouskos, S., de Holanda, T.: Simulation of a smart grid city with software agents. In: 3rd European Symposium on Computer Modeling and Simulation, pp. 424\u2013429, November 2009","DOI":"10.1109\/EMS.2009.53"},{"key":"3_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1007\/978-3-642-15461-4_42","volume-title":"Swarm Intelligence","author":"S Konur","year":"2010","unstructured":"Konur, S., Dixon, C., Fisher, M.: Formal verification of probabilistic swarm behaviours. In: Dorigo, M., Birattari, M., Di Caro, G.A., Doursat, R., Engelbrecht, A.P., Floreano, D., Gambardella, L.M., Gro\u00df, R., \u015eahin, E., Sayama, H., St\u00fctzle, T. (eds.) ANTS 2010. LNCS, vol. 6234, pp. 440\u2013447. Springer, Heidelberg (2010)"},{"issue":"2","key":"3_CR19","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/j.robot.2011.10.005","volume":"60","author":"S Konur","year":"2012","unstructured":"Konur, S., Dixon, C., Fisher, M.: Analysing robot swarm behaviour via probabilistic model checking. Robot. Auton. Syst. 60(2), 199\u2013213 (2012)","journal-title":"Robot. Auton. Syst."},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Kwiatkowska, M., Lomuscio, A., Qu, H.: Parallel model checking for temporal epistemic logic. In: Proceedings of 19th European Conference on Artificial Intelligence, pp. 543\u2013548, IOS Press (2010)","DOI":"10.3233\/978-1-60750-606-5-543"},{"key":"3_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-642-16612-9_11","volume-title":"Runtime Verification","author":"A Legay","year":"2010","unstructured":"Legay, A., Delahaye, B., Bensalem, S.: Statistical model checking: an overview. In: Barringer, H., Falcone, Y., Finkbeiner, B., Havelund, K., Lee, I., Pace, G., Ro\u015fu, G., Sokolsky, O., Tillmann, N. (eds.) RV 2010. LNCS, vol. 6418, pp. 122\u2013135. Springer, Heidelberg (2010)"},{"issue":"5","key":"3_CR22","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/j.jlap.2008.08.004","volume":"78","author":"M Leucker","year":"2009","unstructured":"Leucker, M., Schallhart, C.: A brief account of runtime verification. J. Logic Algebraic Program. 78(5), 293\u2013303 (2009)","journal-title":"J. Logic Algebraic Program."},{"key":"3_CR23","unstructured":"Liu, W., Winfield, A., Sa, J.: Modelling swarm robotic systems: a case study in collective foraging. In: Towards Autonomous Robotic Systems, pp. 25\u201332 (2007)"},{"key":"3_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1007\/978-3-540-71541-2_2","volume-title":"Swarm Robotics","author":"W Liu","year":"2007","unstructured":"Liu, W., Winfield, A.F.T., Sa, J., Chen, J., Dou, L.: Strategies for energy optimisation in a swarm of foraging robots. In: \u015eahin, E., Spears, W.M., Winfield, A.F.T. (eds.) SAB 2006 Ws 2007. LNCS, vol. 4433, pp. 14\u201326. Springer, Heidelberg (2007)"},{"issue":"1\u20132","key":"3_CR25","doi-asserted-by":"crossref","first-page":"71","DOI":"10.3233\/FI-2010-276","volume":"101","author":"A Lomuscio","year":"2010","unstructured":"Lomuscio, A., Penczek, W., Qu, H.: Partial order reductions for model checking temporal-epistemic logics over interleaved multi-agent systems. Fundamenta Informaticae 101(1\u20132), 71\u201390 (2010)","journal-title":"Fundamenta Informaticae"},{"issue":"16\u201317","key":"3_CR26","doi-asserted-by":"publisher","first-page":"1011","DOI":"10.1016\/j.artint.2007.05.005","volume":"171","author":"A Lomuscio","year":"2007","unstructured":"Lomuscio, A., Penczek, W., Woz\u0300na, B.: Bounded model checking for knowledge and real time. Artif. Intell. 171(16\u201317), 1011\u20131038 (2007)","journal-title":"Artif. Intell."},{"issue":"1","key":"3_CR27","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/s10588-011-9097-3","volume":"18","author":"I Lorscheid","year":"2012","unstructured":"Lorscheid, I., Heine, B.-O., Meyer, M.: Opening the \u2018black box\u2019 of simulations: increased transparency and effective communication through the systematic design of experiments. Comput. Math. Organ. Theor. 18(1), 22\u201362 (2012)","journal-title":"Comput. Math. Organ. Theor."},{"issue":"3","key":"3_CR28","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1057\/jos.2010.3","volume":"4","author":"CM Macal","year":"2010","unstructured":"Macal, C.M., North, M.J.: Tutorial on agent-based modelling and simulation. J. Simul. 4(3), 151\u2013162 (2010)","journal-title":"J. Simul."},{"key":"3_CR29","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/s10614-007-9101-7","volume":"30","author":"RE Marks","year":"2007","unstructured":"Marks, R.E.: Validating simulation models: a general framework and four applied examples. Comput. Econ. 30, 265\u2013290 (2007)","journal-title":"Comput. Econ."},{"key":"3_CR30","unstructured":"McCune, R., Madey, G.: Agent-based simulation of cooperative hunting with UAVs. In: Proceedings of the Agent-Directed Simulation Symposium. Society for Computer SimulationInternational (2013)"},{"key":"3_CR31","doi-asserted-by":"crossref","unstructured":"McKelvey, B.: The blackwell companion to organizations, chapter model-centered organization science epistemology, pp. 752\u2013780. Blackwell (2002)","DOI":"10.1002\/9781405164061.ch33"},{"key":"3_CR32","doi-asserted-by":"crossref","unstructured":"Niazi, M., Hussain, A., Kolberg, M.: Verification and validation of agent based simulations using the VOMAS approach. In: Proceedings of 3rd Workshop on Multi-Agent Systems and Simulation (2009)","DOI":"10.1145\/1878537.1878539"},{"key":"3_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/978-3-642-44927-7_17","volume-title":"PRIMA 2013: Principles and Practice of Multi-Agent Systems","author":"T Pedersen","year":"2013","unstructured":"Pedersen, T., Dyrkolbotn, S.K.: Agents homogeneous: a procedurally anonymous semantics characterizing the homogeneous fragment of ATL. In: Boella, G., Elkind, E., Savarimuthu, B.T.R., Dignum, F., Purvis, M.K. (eds.) PRIMA 2013. LNCS, vol. 8291, pp. 245\u2013259. Springer, Heidelberg (2013)"},{"issue":"1","key":"3_CR34","doi-asserted-by":"crossref","first-page":"5","DOI":"10.18564\/jasss.1532","volume":"13","author":"D Phan","year":"2010","unstructured":"Phan, D., Varenne, F.: Agent-based models and simulations in economics and social sciences: from conceptual exploration to distinct ways of experimenting. J. Artif. Soc.Soc. Simul. 13(1), 5 (2010)","journal-title":"J. Artif. Soc.Soc. Simul."},{"key":"3_CR35","doi-asserted-by":"crossref","unstructured":"Sargent, R.G.: Verification and validation of simulation models. In: Proceedings of 40th Winter Simulation Conference (WSC 2008), pp. 157\u2013169 (2008)","DOI":"10.1109\/WSC.2008.4736065"},{"key":"3_CR36","unstructured":"Sebastio, S., Vandin, A.: MultiVeStA: statistical model checking for discrete event simulators. In: Proceedings of 7th International Conference on Performance Evaluation Methodologies and Tools (2013)"},{"key":"3_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/978-3-642-21827-9_8","volume-title":"Modern Approaches in Applied Intelligence","author":"W Wan","year":"2011","unstructured":"Wan, W., Bentahar, J., Ben Hamza, A.: Model checking epistemic and probabilistic properties of multi-agent systems. In: Mehrotra, K.G., Mohan, C.K., Oh, J.C., Varshney, P.K., Ali, M. (eds.) IEA\/AIE 2011, Part II. LNCS, vol. 6704, pp. 68\u201378. Springer, Heidelberg (2011)"},{"key":"3_CR38","unstructured":"Wilensky, U.: NetLogo. TR, Center for Connected Learning and Computer-Based Modeling, Northwestern University, Evanston, IL (1999)"},{"key":"3_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/978-3-642-38859-0_11","volume-title":"Multi-Agent-Based Simulation XIII","author":"CJ Wright","year":"2013","unstructured":"Wright, C.J., McMinn, P., Gallardo, J.: Towards the automatic identification of faulty multi-agent based simulation runs using MASTER. In: Giardini, F., Amblard, F. (eds.) MABS 2012. LNCS, vol. 7838, pp. 143\u2013156. Springer, Heidelberg (2013)"}],"container-title":["Lecture Notes in Computer Science","Multi-Agent Based Simulation XVI"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-31447-1_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T19:29:07Z","timestamp":1748806147000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-31447-1_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319314464","9783319314471"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-31447-1_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"15 March 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}