{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,23]],"date-time":"2026-09-23T23:50:36Z","timestamp":1790207436949,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642547829","type":"print"},{"value":"9783642547836","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-54783-6_4","type":"book-chapter","created":{"date-parts":[[2014,3,31]],"date-time":"2014-03-31T10:47:38Z","timestamp":1396262858000},"page":"53-70","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Verification and Validation of Agent-Based Simulations Using Approximate Model Checking"],"prefix":"10.1007","author":[{"given":"Benjamin","family":"Herd","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Simon","family":"Miles","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Peter","family":"McBurney","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michael","family":"Luck","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2014,4,1]]},"reference":[{"key":"4_CR1","unstructured":"Amazon Elastic Compute Cloud (EC2). http:\/\/aws.amazon.com\/ec2\/"},{"key":"4_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":"4_CR3","series-title":"LNCS","first-page":"162","volume-title":"SASEMAS 2004-2006","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)"},{"key":"4_CR4","volume-title":"Model Checking","author":"E Clarke","year":"1999","unstructured":"Clarke, E., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"4_CR5","series-title":"LNCS","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)"},{"issue":"3","key":"4_CR6","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1145\/362929.362947","volume":"11","author":"EW Dijkstra","year":"1968","unstructured":"Dijkstra, E.W.: Go to statement considered harmful. Commun. ACM 11(3), 147\u2013148 (1968)","journal-title":"Commun. ACM"},{"key":"4_CR7","unstructured":"Donaldson, R., Gilbert, N.: A monte carlo model checker for probabilistic LTL with numerical constraints. Technical report 282, Department of Computing Science, University of Glasgow (2008)"},{"key":"4_CR8","series-title":"LNCS (LNBI)","first-page":"48","volume-title":"CMSB 2007","author":"F Fages","year":"2007","unstructured":"Fages, F., Rizk, A.: On the analysis of numerical data time series in temporal logic. In: Calder, M., Gilmore, S. (eds.) CMSB 2007. LNCS (LNBI), vol. 4695, pp. 48\u201363. Springer, Heidelberg (2007)"},{"key":"4_CR9","series-title":"LNCS","first-page":"71","volume-title":"SPIN 2006","author":"H Fecher","year":"2006","unstructured":"Fecher, H., Leucker, M., Wolf, V.: Don\u2019t know in probabilistic systems. In: Valmari, A. (ed.) SPIN 2006. LNCS, vol. 3925, pp. 71\u201388. Springer, Heidelberg (2006)"},{"issue":"1","key":"4_CR10","first-page":"1","volume":"12","author":"JM Gal\u00e1n","year":"2009","unstructured":"Gal\u00e1n, J.M., Izquierdo, L.R., Izquierdo, S.S., Santos, J.I., del Olmo, R., L\u00f3pez-Paredes, A., Edmonds, B.: Errors and artefacts in agent-based modelling. J. Artif. Soc. Soc. Simul. 12(1), 1 (2009)","journal-title":"J. Artif. Soc. Soc. Simul."},{"key":"4_CR11","series-title":"LNCS","first-page":"73","volume-title":"VMCAI 2004","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":"4_CR12","volume-title":"Spin Model Checker, The: Primer and Reference Manual","author":"G Holzmann","year":"2003","unstructured":"Holzmann, G.: Spin Model Checker, The: Primer and Reference Manual, 1st edn. Addison-Wesley Professional, Reading (2003)","edition":"1"},{"issue":"1","key":"4_CR13","first-page":"6","volume":"12","author":"LR Izquierdo","year":"2009","unstructured":"Izquierdo, L.R., Izquierdo, S.S., Gal\u00e1n, J.M., Santos, J.I.: Techniques to understand computer simulations: markov chain analysis. JASSS 12(1), 6 (2009)","journal-title":"JASSS"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Kleijnen, J.P.C.: Validation of models: statistical techniques and data availability. In: Proceedings 31st Winter Simulation Conference, pp. 647\u2013654. ACM (1999)","DOI":"10.1145\/324138.324450"},{"key":"4_CR15","series-title":"LNCS","first-page":"440","volume-title":"ANTS 2010","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)"},{"key":"4_CR16","series-title":"LNCS","first-page":"220","volume-title":"SFM 2007","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)"},{"issue":"8","key":"4_CR17","doi-asserted-by":"publisher","first-page":"884","DOI":"10.1016\/j.jbusres.2007.02.004","volume":"60","author":"D Midgley","year":"2007","unstructured":"Midgley, D., Marks, R.E., Kunchamwar, D.: Building and assurance of agent-based models: an example and challenge to the field. J. Bus. Res. 60(8), 884\u2013893 (2007). (Complexities in Markets Special Issue.)","journal-title":"J. Bus. Res."},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Sargent, R.G.: Verification and validation of simulation models. In: Proceedings of the 40th Conference on Winter Simulation, WSC \u201908, pp. 157\u2013169. Winter Simulation Conference (2008)","DOI":"10.1109\/WSC.2008.4736065"},{"key":"4_CR19","unstructured":"Stonedahl, F., Wilensky, U.: NetLogo Virus on a Network model. Technical report, Center for Connected Learning and Computer-Based Modeling, Northwestern University, Evanston, IL (2008)"},{"key":"4_CR20","series-title":"LNCS(LNAI)","first-page":"68","volume-title":"IEA\/AIE 2011, Part II","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, ChK, Oh, J.C., Varshney, P.K., Ali, M. (eds.) IEA\/AIE 2011, Part II. LNCS(LNAI), vol. 6704, pp. 68\u201378. Springer, Heidelberg (2011)"},{"key":"4_CR21","unstructured":"Wilensky, U.: NetLogo. Technical report, Center for Connected Learning and Computer-Based Modeling, Northwestern University, Evanston, IL (1999)"}],"container-title":["Lecture Notes in Computer Science","Multi-Agent-Based Simulation XIV"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-54783-6_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,27]],"date-time":"2023-01-27T15:20:01Z","timestamp":1674832801000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-54783-6_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642547829","9783642547836"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54783-6_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"1 April 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}