{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,29]],"date-time":"2026-07-29T10:55:12Z","timestamp":1785322512520,"version":"3.55.0"},"publisher-location":"Cham","reference-count":48,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031738869","type":"print"},{"value":"9783031738876","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:00:00Z","timestamp":1729641600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:00:00Z","timestamp":1729641600000},"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":[[2025]]},"DOI":"10.1007\/978-3-031-73887-6_20","type":"book-chapter","created":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T23:02:38Z","timestamp":1729638158000},"page":"302-326","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Formal Verification of\u00a0BDI Agents"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8035-0884","authenticated-orcid":false,"given":"Thomas","family":"Wright","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1426-1896","authenticated-orcid":false,"given":"Louise A.","family":"Dennis","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7955-2702","authenticated-orcid":false,"given":"Jim","family":"Woodcock","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9889-9514","authenticated-orcid":false,"given":"Simon","family":"Foster","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2024,10,23]]},"reference":[{"key":"20_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-Book-Assigning Programs to Meanings","author":"J-R Abrial","year":"1996","unstructured":"Abrial, J.-R.: The B-Book-Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)"},{"issue":"2","key":"20_CR2","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/s11229-009-9557-1","volume":"169","author":"N Alechina","year":"2009","unstructured":"Alechina, N., Logan, B., Nga, N.H., Rakib, A.: Verifying time, memory and communication bounds in systems of reasoning agents. Synthese 169(2), 385\u2013403 (2009)","journal-title":"Synthese"},{"key":"20_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/978-3-030-92124-8_15","volume-title":"Software Engineering and Formal Methods","author":"B Archibald","year":"2021","unstructured":"Archibald, B., Calder, M., Sevegnani, M., Xu, M.: Probabilistic BDI agents: actions, plans, and\u00a0intentions. In: Calinescu, R., P\u0103s\u0103reanu, C.S. (eds.) SEFM 2021. LNCS, vol. 13085, pp. 262\u2013281. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-92124-8_15"},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"Back, R.-J., Kurki-Suonio, R.: Decentralization of process nets with centralized control. In: Probert, R.L., Lynch, N.A., Santoro, N., (eds.) Proceedings of the Second Annual ACM Symposium on Principles of Distributed Computing, Montreal, Quebec, Canada, 17\u201319 August 1983, pp. 131\u2013142. ACM (1983)","DOI":"10.1145\/800221.806716"},{"issue":"5","key":"20_CR5","doi-asserted-by":"publisher","first-page":"1251","DOI":"10.1007\/s10489-017-1112-z","volume":"48","author":"NA Bakar","year":"2018","unstructured":"Bakar, N.A., Selamat, A.: Agent systems verification: systematic literature review and mapping. Appl. Intell. 48(5), 1251\u20131274 (2018)","journal-title":"Appl. Intell."},{"issue":"2","key":"20_CR6","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/s10458-006-5955-7","volume":"12","author":"RH Bordini","year":"2006","unstructured":"Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.J.: Verifying multi-agent programs by model checking. Auton. Agents Multi Agent Syst. 12(2), 239\u2013256 (2006)","journal-title":"Auton. Agents Multi Agent Syst."},{"key":"20_CR7","unstructured":"Bosello, M.: Integrating BDI and reinforcement learning: the case study of autonomous driving. Master thesis, Department of Computer Science and Engineering, Universit\u00e0 di Bologna, Cesena Campus (2020)"},{"key":"20_CR8","volume-title":"Intention, Plans, and Practical Reason","author":"M Bratman","year":"1987","unstructured":"Bratman, M.: Intention, Plans, and Practical Reason. Harvard University Press, Cambridge (1987)"},{"issue":"2\u20133","key":"20_CR9","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/s00165-003-0006-5","volume":"15","author":"A Cavalcanti","year":"2003","unstructured":"Cavalcanti, A., Sampaio, A., Woodcock, J.: A refinement strategy for $$Circus$$. Formal Aspects Comput. 15(2\u20133), 146\u2013181 (2003)","journal-title":"Formal Aspects Comput."},{"issue":"4","key":"20_CR10","doi-asserted-by":"publisher","first-page":"634","DOI":"10.1080\/00207721.2013.793890","volume":"46","author":"J Choi","year":"2015","unstructured":"Choi, J., Kim, S., Tsourdos, A.: Verification of heterogeneous multi-agent system using MCMAS. Int. J. Syst. Sci. 46(4), 634\u2013651 (2015)","journal-title":"Int. J. Syst. Sci."},{"key":"20_CR11","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, New York (2010). https:\/\/doi.org\/10.1007\/978-1-4419-6984-2"},{"key":"20_CR12","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-030-51417-4_4","volume-title":"Engineering Multi-Agent Systems","author":"A Davoust","year":"2020","unstructured":"Davoust, A., et al.: An architecture for integrating BDI agents with a simulation environment. In: Dennis, L.A., Bordini, R.H., Lesp\u00e9rance, Y. (eds.) EMAS 2019. LNCS (LNAI), vol. 12058, pp. 67\u201384. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-51417-4_4"},{"key":"20_CR13","doi-asserted-by":"publisher","DOI":"10.1017\/9781108755023","volume-title":"Verifiable Autonomous Systems: Using Rational Agents to Provide Assurance about Decisions Made by Machines","author":"LA Dennis","year":"2023","unstructured":"Dennis, L.A., Fisher, M.: Verifiable Autonomous Systems: Using Rational Agents to Provide Assurance about Decisions Made by Machines. Cambridge University Press, Cambridge (2023)"},{"issue":"1","key":"20_CR14","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/s10515-011-0088-x","volume":"19","author":"LA Dennis","year":"2012","unstructured":"Dennis, L.A., Fisher, M., Webster, M.P., Bordini, R.H.: Model checking agent programming languages. Autom. Softw. Eng. 19(1), 5\u201363 (2012)","journal-title":"Autom. Softw. Eng."},{"key":"20_CR15","unstructured":"Dennis, L.A., Oren, N.: Explaining BDI agent behaviour through dialogue. In: Dignum, F., Lomuscio, A., Endriss, U., Now\u00e9, A. (eds.) AAMAS 2021: 20th International Conference on Autonomous Agents and Multiagent Systems, Virtual Event, United Kingdom, 3\u20137 May 2021, pp. 429\u2013437. ACM (2021)"},{"issue":"2","key":"20_CR16","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/s10458-022-09556-8","volume":"36","author":"LA Dennis","year":"2022","unstructured":"Dennis, L.A., Oren, N.: Explaining BDI agent behaviour through dialogue. J. Auton. Agents Multi-Agent Syst. 36(2), 29 (2022)","journal-title":"J. Auton. Agents Multi-Agent Syst."},{"issue":"2","key":"20_CR17","doi-asserted-by":"publisher","first-page":"49","DOI":"10.3390\/robotics12020049","volume":"12","author":"DC Engelmann","year":"2023","unstructured":"Engelmann, D.C., Ferrando, A., Panisson, A.R., Ancona, D., Bordini, R.H., Mascardi, V.: RV4JaCa-towards runtime verification of multi-agent systems and robotic applications. Robotics 12(2), 49 (2023)","journal-title":"Robotics"},{"key":"20_CR18","unstructured":"Foster, S., Hur, C.-K., Woodcock, J.: Formally verified simulations of state-rich processes using interaction trees in Isabelle\/HOL. In: 32nd International Conferences on Concurrency Theory (CONCUR). LIPIcs, vol. 203. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2021)"},{"key":"20_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/978-3-319-46750-4_17","volume-title":"Theoretical Aspects of Computing \u2013 ICTAC 2016","author":"S Foster","year":"2016","unstructured":"Foster, S., Zeyda, F., Woodcock, J.: Unifying heterogeneous state-spaces with lenses. In: Sampaio, A., Wang, F. (eds.) ICTAC 2016. LNCS, vol. 9965, pp. 295\u2013314. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-46750-4_17"},{"issue":"10","key":"20_CR20","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"CAR Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM 12(10), 576\u2013580 (1969)","journal-title":"Commun. ACM"},{"key":"20_CR21","unstructured":"Hunter, J., Raimondi, F., Rungta, N., Stocker, R.: A synergistic and extensible framework for multi-agent system verification. In: Gini, M.L., Shehory, O., Ito, T., Jonker, C.M. (eds.) International Conference on Autonomous Agents and Multi-Agent Systems, AAMAS 2013, Saint Paul, MN, USA, 6\u201310 May 2013, pp. 869\u2013876. IFAAMAS (2013)"},{"key":"20_CR22","doi-asserted-by":"crossref","unstructured":"Jensen, A.B., Hindriks, K.V., Villadsen, J.: On using theorem proving for cognitive agent-oriented programming. In: Rocha, A.P., Steels, L., van den Herik, H.J. (eds.) Proceedings of the 13th International Conference on Agents and Artificial Intelligence, ICAART 2021, 4\u20136 February 2021, vol. 1, pp. 446\u2013453. SCITEPRESS (2021)","DOI":"10.5220\/0010349504460453"},{"key":"20_CR23","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/978-3-642-14977-1_17","volume-title":"Computational Logic in Multi-Agent Systems","author":"S-STQ Jongmans","year":"2010","unstructured":"Jongmans, S.-S.T.Q., Hindriks, K.V., van Riemsdijk, M.B.: Model checking agent programs by using the program interpreter. In: Dix, J., Leite, J., Governatori, G., Jamroga, W. (eds.) CLIMA 2010. LNCS (LNAI), vol. 6245, pp. 219\u2013237. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-14977-1_17"},{"key":"20_CR24","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/s10009-015-0378-x","volume":"19","author":"A Lomuscio","year":"2017","unstructured":"Lomuscio, A., Hongyang, Q., Raimondi, F.: MCMAS: an open-source model checker for the verification of multi-agent systems. Int. J. Softw. Tools Technol. Transf. 19, 9\u201330 (2017)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"20_CR25","unstructured":"Luckcuck, M., Farrell, M., Ferrando, A., Cardoso, R.C., Dennis, L.A., Fisher, M.: A compositional approach to verifying modular robotic systems. arxiv.org\/abs\/2208.05507 (2023)"},{"key":"20_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/978-3-540-25930-5_10","volume-title":"Objects, Agents, and Features","author":"T Margaria","year":"2004","unstructured":"Margaria, T.: Components, features, and agents in the ABC. In: Ryan, M.D., Meyer, J.-J.C., Ehrich, H.-D. (eds.) Objects, Agents, and Features. LNCS, vol. 2975, pp. 154\u2013174. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-25930-5_10"},{"key":"20_CR27","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/11964995_23","volume-title":"Innovative Concepts for Autonomic and Agent-Based Systems","author":"T Margaria","year":"2006","unstructured":"Margaria, T., Steffen, B.: Run-time agents as a means of reconciling flexibility and scalability of services. In: Hinchey, M.G., Rago, P., Rash, J.L., Rouff, C.A., Sterritt, R., Truszkowski, W. (eds.) WRAC 2005. LNCS (LNAI), vol. 3825, pp. 257\u2013268. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11964995_23"},{"issue":"10","key":"20_CR28","doi-asserted-by":"publisher","first-page":"1575","DOI":"10.1016\/j.ic.2005.05.010","volume":"204","author":"J Meng","year":"2006","unstructured":"Meng, J., Quigley, C., Paulson, L.C.: Automation for interactive proof: first prototype. Inf. Comput. 204(10), 1575\u20131596 (2006)","journal-title":"Inf. Comput."},{"key":"20_CR29","doi-asserted-by":"crossref","unstructured":"Morandini, M., Penserini, L., Perini, A.: Towards goal-oriented development of self-adaptive systems. In: Proceedings of the 2008 International Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2008, Leipzig, Germany, pp. 9\u201316. Association for Computing Machinery (2008)","DOI":"10.1145\/1370018.1370021"},{"key":"20_CR30","doi-asserted-by":"crossref","unstructured":"Oliveira, M., Cavalcanti, A., Woodcock, J.: A denotational semantics for $$Circus$$. In: Aichernig, B.K., Boiten, E.A., Derrick, J., Groves, L. (eds.) Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006. Electronic Notes in Theoretical Computer Science, Macao, 31 October 2006, vol. 187, pp. 107\u2013123. Elsevier (2006)","DOI":"10.1016\/j.entcs.2006.08.047"},{"issue":"1\u20132","key":"20_CR31","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s00165-007-0052-5","volume":"21","author":"M Oliveira","year":"2009","unstructured":"Oliveira, M., Cavalcanti, A., Woodcock, J.: A UTP semantics for $$Circus$$. Formal Aspects Comput. 21(1\u20132), 3\u201332 (2009)","journal-title":"Formal Aspects Comput."},{"issue":"3","key":"20_CR32","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/0743-1066(86)90015-4","volume":"3","author":"LC Paulson","year":"1986","unstructured":"Paulson, L.C.: Natural deduction as higher-order resolution. J. Log. Program. 3(3), 237\u2013258 (1986)","journal-title":"J. Log. Program."},{"key":"20_CR33","unstructured":"Rao, A.S., Georgeff, M.P.: An abstract architecture for rational agents. In: Proceedings of the International Conference on Knowledge Representation and Reasoning (KR &R), pp. 439\u2013449. Morgan Kaufmann (1992)"},{"key":"20_CR34","unstructured":"Rao, A.S., Georgeff, M.P.: Modeling agents within a BDI-architecture. In: Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR &R), pp. 473\u2013484. Morgan Kaufmann (1991)"},{"key":"20_CR35","series-title":"NASA Monographs in Systems and Software Engineering","doi-asserted-by":"publisher","first-page":"354","DOI":"10.1007\/1-84628-271-3","volume-title":"Agent Technology from a Formal Perspective","year":"2006","unstructured":"Rouff, C.A., Hinchey, M., Rash, J., Truszkowski, W., Gordon-Spears, D. (eds.): Agent Technology from a Formal Perspective. NASA Monographs in Systems and Software Engineering, p. 354. Springer, London (2006). https:\/\/doi.org\/10.1007\/1-84628-271-3"},{"key":"20_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/3-540-45614-7_26","volume-title":"FME 2002:Formal Methods\u2014Getting IT Right","author":"A Sampaio","year":"2002","unstructured":"Sampaio, A., Woodcock, J., Cavalcanti, A.: Refinement in Circus. In: Eriksson, L.-H., Lindsay, P.A. (eds.) FME 2002. LNCS, vol. 2391, pp. 451\u2013470. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45614-7_26"},{"key":"20_CR37","doi-asserted-by":"crossref","unstructured":"de Silva, L., Meneguzzi, F., Logan, B.: BDI agent architectures: a survey. In: Bessiere, C. (ed.) Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020, pp. 4914\u20134921. ijcai.org (2020)","DOI":"10.24963\/ijcai.2020\/684"},{"key":"20_CR38","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/978-3-642-33353-8_30","volume-title":"Logics in Artificial Intelligence","author":"R Stocker","year":"2012","unstructured":"Stocker, R., Dennis, L., Dixon, C., Fisher, M.: Verifying Brahms human-robot teamwork models. In: del Cerro, L.F., Herzig, A., Mengin, J. (eds.) JELIA 2012. LNCS (LNAI), vol. 7519, pp. 385\u2013397. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-33353-8_30"},{"key":"20_CR39","unstructured":"Woodcock, J., Cavalcanti, A.: A concurrent language for refinement. In: Butterfield, A., Strong, G., Pahl, C. (eds.) Proceedings of the 5th Irish Workshop on Formal Methods (IWFM). Workshops in Computing. BCS (2001)"},{"key":"20_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/3-540-45648-1_10","volume-title":"ZB 2002:Formal Specification and Development in Z and B","author":"J Woodcock","year":"2002","unstructured":"Woodcock, J., Cavalcanti, A.: The semantics of Circus. In: Bert, D., Bowen, J.P., Henson, M.C., Robinson, K. (eds.) ZB 2002. LNCS, vol. 2272, pp. 184\u2013203. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45648-1_10"},{"key":"20_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-031-40436-8_2","volume-title":"Theories of Programming and Formal Methods","author":"J Woodcock","year":"2023","unstructured":"Woodcock, J., Cavalcanti, A., Foster, S., Oliveira, M., Sampaio, A., Zeyda, F.: UTP, Circus, and Isabelle. In: Bowen, J.P., Li, Q., Xu, Q. (eds.) Theories of Programming and Formal Methods. LNCS, vol. 14080, pp. 19\u201351. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-40436-8_2"},{"key":"20_CR42","unstructured":"Woodcock, J., Davies, J.: Using Z-Specification, Refinement, and Proof. International Series in Computer Science. Prentice Hall (1996)"},{"key":"20_CR43","doi-asserted-by":"crossref","unstructured":"Woodcock, J., Larsen, P.G., Bicarregui, J., Fitzgerald, J.S.: Formal methods: practice and experience. ACM Comput. Surv. 41(4), 19:1\u201319:36 (2009)","DOI":"10.1145\/1592434.1592436"},{"key":"20_CR44","doi-asserted-by":"crossref","unstructured":"Wooldridge, M., Rao, A. (eds.): Foundations of Rational Agency. Applied Logic Series. Kluwer Academic Publishers (1999)","DOI":"10.1007\/978-94-015-9204-8"},{"key":"20_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1007\/978-3-031-47705-8_19","volume-title":"iFM 2023","author":"M Xu","year":"2023","unstructured":"Xu, M., Rivoalen, T., Archibald, B., Sevegnani, M.: CAN-verify: a verification tool for BDI agents. In: Herber, P., Wijs, A. (eds.) iFM 2023. LNCS, vol. 14300, pp. 364\u2013373. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-47705-8_19"},{"key":"20_CR46","doi-asserted-by":"crossref","unstructured":"Yan, F., Foster, S., Habli, I.: Automated compositional verification for robotic state machines using Isabelle\/HOL. In: 2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS). IEEE Computer Society, pp. 167\u2013176 (2023)","DOI":"10.1109\/ICECCS59891.2023.00029"},{"key":"20_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"388","DOI":"10.1007\/978-3-031-37616-0_32","volume-title":"Advances in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics","author":"Y Yang","year":"2023","unstructured":"Yang, Y., Holvoet, T.: Safe autonomous decision-making with $$vGOAL$$. In: Mathieu, P., Dignum, F., Novais, P., de la Prieta, F. (eds.) PAAMS 2023. LNCS, vol. 13955, pp. 388\u2013400. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-37616-0_32"},{"key":"20_CR48","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/3-540-36103-0_28","volume-title":"Formal Methods and Software Engineering","author":"H Zhu","year":"2002","unstructured":"Zhu, H.: Formal specification of evolutionary software agents. In: George, C., Miao, H. (eds.) ICFEM 2002. LNCS, vol. 2495, pp. 249\u2013261. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-36103-0_28"}],"container-title":["Lecture Notes in Computer Science","The Combined Power of Research, Education, and Dissemination"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-73887-6_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,30]],"date-time":"2025-01-30T11:15:50Z","timestamp":1738235750000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-73887-6_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,23]]},"ISBN":["9783031738869","9783031738876"],"references-count":48,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-73887-6_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,10,23]]},"assertion":[{"value":"23 October 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}