{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T15:59:40Z","timestamp":1762271980355,"version":"3.41.0"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319261836"},{"type":"electronic","value":"9783319261843"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-26184-3_7","type":"book-chapter","created":{"date-parts":[[2015,11,14]],"date-time":"2015-11-14T12:44:19Z","timestamp":1447505059000},"page":"109-130","source":"Crossref","is-referenced-by-count":11,"title":["Quantitative Analysis of Multiagent Systems Through Statistical Model Checking"],"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":[[2015,11,15]]},"reference":[{"key":"7_CR1","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":"7_CR2","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.) SASEMAS 2004-2006. LNCS, vol. 4324, pp. 162\u2013174. Springer, Heidelberg (2009)"},{"issue":"3","key":"7_CR3","doi-asserted-by":"publisher","first-page":"651","DOI":"10.1093\/logcom\/exn075","volume":"20","author":"A Bauer","year":"2010","unstructured":"Bauer, A., Leucker, M., Schallhart, C.: Comparing LTL semantics for runtime verification. J. Logic Comput. 20(3), 651\u2013674 (2010)","journal-title":"J. Logic Comput."},{"issue":"1","key":"7_CR4","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":"7_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/BFb0028741","volume-title":"Computer Aided Verification","author":"E Clarke","year":"1998","unstructured":"Clarke, E., Emerson, E., Jha, S., Sistla, A.: Symmetry reductions in model checking. In: Vardi, M.Y. (ed.) CAV 1998. LNCS, vol. 1427, pp. 147\u2013158. Springer, Heidelberg (1998)"},{"key":"7_CR6","volume-title":"Model Checking","author":"E Clarke","year":"1999","unstructured":"Clarke, E., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"7_CR7","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)"},{"unstructured":"Dix, J., Fisher, M.: Specification and verification of multi-agent systems. In: Multiagent Systems. MIT Press, Cambridge (2013)","key":"7_CR8"},{"issue":"3","key":"7_CR9","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/s10703-005-3399-3","volume":"27","author":"B Finkbeiner","year":"2005","unstructured":"Finkbeiner, B., Sankaranarayanan, S., Sipma, H.B.: Collecting statistics over runtime executions. Formal Methods Syst. Des. 27(3), 253\u2013274 (2005)","journal-title":"Formal Methods Syst. Des."},{"unstructured":"Herd, B.: Statistical runtime verification of agent-based simulations. Ph.D. thesis, King\u2019s College London (2015)","key":"7_CR10"},{"unstructured":"Herd, B., Miles, S., McBurney, P., Luck, M.: An LTL-based property specification language for agent-based simulation traces. Technical Report 14\u201302, King\u2019s College London, October 2014","key":"7_CR11"},{"unstructured":"Hitchcock, C.: Probabilistic causation. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy. Winter 201 edn. (2012)","key":"7_CR12"},{"unstructured":"Kleinberg, S., Mishra, B.: The temporal logic of causal structures. In: Proceedings of the 25th Conference on Uncertainty in Artificial Intelligence, pp. 303\u2013312. AUAI Press (2009)","key":"7_CR13"},{"key":"7_CR14","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., et al. (eds.) ANTS 2010. LNCS, vol. 6234, pp. 440\u2013447. Springer, Heidelberg (2010)"},{"unstructured":"Kouvaros, P., Lomuscio, A.: Automatic verification of parameterised multi-agent systems. In: Proceedings of the 12th International Conference on Autonomous Agents and Multi-agent Systems, Richland, SC, pp. 861\u2013868 (2013)","key":"7_CR15"},{"unstructured":"Kouvaros, P., Lomuscio, A.: A cutoff technique for the verification of parameterised interpreted systems with parameterised environments. In: Proceedings of the 23rd International Joint Conference on Artificial Intelligence, pp. 2013\u20132019. AAAI Press (2013)","key":"7_CR16"},{"doi-asserted-by":"crossref","unstructured":"Kwiatkowska, M., Lomuscio, A., Qu, H.: Parallel model checking for temporal epistemic logic. In: Proceedings of the 19th European Conference on Artificial Intelligence, pp. 543\u2013548. IOS Press, Amsterdam (2010)","key":"7_CR17","DOI":"10.3233\/978-1-60750-606-5-543"},{"issue":"2","key":"7_CR18","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/j.entcs.2005.10.030","volume":"153","author":"M Kwiatkowska","year":"2006","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Quantitative analysis with the probabilistic model checker PRISM. Electron. Notes Theor. Comput. Sci. 153(2), 5\u201331 (2006). Proc. 3rd Workshop on Quantitative Aspects of Programming Languages","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"7_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/978-3-540-72522-0_6","volume-title":"Formal Methods for Performance Evaluation","author":"M Kwiatkowska","year":"2007","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Stochastic model checking. In: Bernardo, M., Hillston, J. (eds.) SFM 2007. LNCS, vol. 4486, pp. 220\u2013270. Springer, Heidelberg (2007)"},{"key":"7_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Computer Aided Verification","author":"M Kwiatkowska","year":"2011","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: verification of probabilistic real-time systems. In: Qadeer, S., Gopalakrishnan, G. (eds.) CAV 2011. LNCS, vol. 6806, pp. 585\u2013591. Springer, Heidelberg (2011)"},{"key":"7_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., et al. (eds.) RV 2010. LNCS, vol. 6418, pp. 122\u2013135. Springer, Heidelberg (2010)"},{"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":"7_CR22"},{"issue":"1\u20132","key":"7_CR23","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":"7_CR24","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."},{"unstructured":"Nimal, V.: Statistical approaches for probabilistic model checking. MSc Mini-project Dissertation, Oxford University Computing Laboratory (2010)","key":"7_CR25"},{"key":"7_CR26","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)"},{"key":"7_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/978-3-540-77395-5_14","volume-title":"Runtime Verification","author":"U Sammapun","year":"2007","unstructured":"Sammapun, U., Lee, I., Sokolsky, O., Regehr, J.: Statistical runtime checking of probabilistic properties. In: Sokolsky, O., Ta\u015f\u0131ran, S. (eds.) RV 2007. LNCS, vol. 4839, pp. 164\u2013175. Springer, Heidelberg (2007)"},{"key":"7_CR28","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)"}],"container-title":["Lecture Notes in Computer Science","Engineering Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-26184-3_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T11:54:57Z","timestamp":1748692497000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-26184-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319261836","9783319261843"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-26184-3_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}