{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,20]],"date-time":"2025-12-20T22:29:22Z","timestamp":1766269762205,"version":"3.44.0"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783032014856"},{"type":"electronic","value":"9783032014863"}],"license":[{"start":{"date-parts":[[2025,8,13]],"date-time":"2025-08-13T00:00:00Z","timestamp":1755043200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,8,13]],"date-time":"2025-08-13T00:00:00Z","timestamp":1755043200000},"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":[[2026]]},"DOI":"10.1007\/978-3-032-01486-3_26","type":"book-chapter","created":{"date-parts":[[2025,8,19]],"date-time":"2025-08-19T15:47:03Z","timestamp":1755618423000},"page":"338-352","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Revisiting Formal Methods for\u00a0Autonomous Robots: A Structured Survey"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-5279-686X","authenticated-orcid":false,"given":"Atef","family":"Azaiez","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0870-4259","authenticated-orcid":false,"given":"David A.","family":"Anisi","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7708-3877","authenticated-orcid":false,"given":"Marie","family":"Farrell","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6444-9312","authenticated-orcid":false,"given":"Matt","family":"Luckcuck","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,8,13]]},"reference":[{"key":"26_CR1","doi-asserted-by":"publisher","unstructured":"Proceedings Third Workshop on Formal Methods for Autonomous Systems. Electronic Proceedings in Theoretical Computer Science, vol. 348 (2021). https:\/\/doi.org\/10.4204\/eptcs.348","DOI":"10.4204\/eptcs.348"},{"key":"26_CR2","doi-asserted-by":"publisher","unstructured":"Adam, M., Ye, K., Anisi, D.A., Cavalcanti, A., Woodcock, J., Morris, R.: Probabilistic modelling and safety assurance of an agriculture robot providing light-treatment. In: Proceedings of the 19th IEEE International Conference on Automation Science and Engineering (CASE), pp.\u00a01\u20137 (2023). https:\/\/doi.org\/10.1109\/CASE56687.2023.10260395","DOI":"10.1109\/CASE56687.2023.10260395"},{"key":"26_CR3","doi-asserted-by":"publisher","unstructured":"Adam, M., Hartmark, E.E., Andersen, T., Anisi, D.A., Cavalcanti, A.: Safety assurance of autonomous agricultural robots: from offline model-checking to runtime verification. In: Proceedings of the 20th IEEE International Conference on Automation Science and Engineering (CASE), pp. 2511\u20132516 (2024). https:\/\/doi.org\/10.1109\/CASE59546.2024.10711810","DOI":"10.1109\/CASE59546.2024.10711810"},{"issue":"6","key":"26_CR4","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1109\/MIS.2018.111144814","volume":"33","author":"JM Aitken","year":"2018","unstructured":"Aitken, J.M., et al.: Autonomous nuclear waste management. IEEE Intell. Syst. 33(6), 47\u201355 (2018)","journal-title":"IEEE Intell. Syst."},{"key":"26_CR5","doi-asserted-by":"publisher","unstructured":"Azaiez, A., Anisi, D., Farrell, M., Luckcuck, M.: Revisiting formal methods for autonomous robots: a structured survey - surveyed literature set (2025). https:\/\/doi.org\/10.5281\/zenodo.15199605","DOI":"10.5281\/zenodo.15199605"},{"key":"26_CR6","unstructured":"Buxton, J.N., Randell, B. (eds.): Software Engineering Techniques: Report on a Conference Sponsored by the NATO Science Committee. NATO Science Committee, Rome, Italy (1970)"},{"key":"26_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/978-3-319-98938-9_10","volume-title":"Integrated Formal Methods","author":"M Farrell","year":"2018","unstructured":"Farrell, M., Luckcuck, M., Fisher, M.: Robotics and integrated formal methods: necessity meets opportunity. In: Furia, C.A., Winter, K. (eds.) IFM 2018. LNCS, vol. 11023, pp. 161\u2013171. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-98938-9_10"},{"issue":"2","key":"26_CR8","doi-asserted-by":"publisher","first-page":"67","DOI":"10.3390\/robotics10020067","volume":"10","author":"M Fisher","year":"2021","unstructured":"Fisher, M., et al.: An overview of verification and validation challenges for inspection robots. Robotics 10(2), 67 (2021)","journal-title":"Robotics"},{"issue":"6","key":"26_CR9","doi-asserted-by":"publisher","first-page":"1737","DOI":"10.1007\/s10270-023-01124-2","volume":"22","author":"M Gleirscher","year":"2023","unstructured":"Gleirscher, M., van de Pol, J., Woodcock, J.: A manifesto for applicable formal methods. Softw. Syst. Model. 22(6), 1737\u20131749 (2023)","journal-title":"Softw. Syst. Model."},{"key":"26_CR10","doi-asserted-by":"publisher","unstructured":"Gu, R., Marinescu, R., Seceleanu, C., Lundqvist, K.: Formal verification of an autonomous wheel loader by model checking. In: Proceedings of the 6th Conference on Formal Methods in Software Engineering, pp. 74\u201383 (2018). https:\/\/doi.org\/10.1145\/3193992.3193999","DOI":"10.1145\/3193992.3193999"},{"key":"26_CR11","doi-asserted-by":"publisher","unstructured":"He\u00df, D., Althoff, M., Sattel, T.: Formal verification of maneuver automata for parameterized motion primitives. In: 2014 IEEE\/RSJ International Conference on Intelligent Robots and Systems, pp. 1474\u20131481 (2014). https:\/\/doi.org\/10.1109\/IROS.2014.6942751","DOI":"10.1109\/IROS.2014.6942751"},{"key":"26_CR12","doi-asserted-by":"publisher","unstructured":"Innes, C., Ireland, A., Lin, Y., Ramamoorthy, S.: Anticipating accidents through reasoned simulation. In: Proceedings of the First International Symposium on Trustworthy Autonomous Systems (2023). https:\/\/doi.org\/10.1145\/3597512.3599698","DOI":"10.1145\/3597512.3599698"},{"key":"26_CR13","doi-asserted-by":"publisher","unstructured":"Kim, B., Masuda, T., Shiraishi, S.: Test specification and generation for connected and autonomous vehicle in virtual environments. ACM Trans. Cyber-Phys. Syst. 4(1) (2019). https:\/\/doi.org\/10.1145\/3311954","DOI":"10.1145\/3311954"},{"issue":"5","key":"26_CR14","doi-asserted-by":"publisher","first-page":"1210","DOI":"10.1109\/TITS.2015.2513071","volume":"17","author":"AY Lam","year":"2016","unstructured":"Lam, A.Y., Leung, Y.W., Chu, X.: Autonomous-vehicle public transportation system: scheduling and admission control. IEEE Trans. Intell. Transp. Syst. 17(5), 1210\u20131226 (2016)","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"key":"26_CR15","unstructured":"Leahy, K., et al.: Grand challenges in the verification of autonomous systems. arXiv preprint arXiv:2411.14155 (2024)"},{"key":"26_CR16","unstructured":"Leventi-Peetz, A.: Summary of formal methods for safe and secure computer systems. Technical report, Federal Office for Information Security (BSI) (2025). https:\/\/www.bsi.bund.de\/SharedDocs\/Downloads\/DE\/BSI\/Publikationen\/Studien\/formal_methods_study_875\/Summary_formal_methods_study_875.pdf?__blob=publicationFile&v=1, summary of the original book edited by H. Garavel"},{"key":"26_CR17","doi-asserted-by":"publisher","unstructured":"Luckcuck, M., Farrell, M., Dennis, L.A., Dixon, C., Fisher, M.: Formal specification and verification of autonomous robotic systems: a survey. ACM Comput. Surv. 52(5) (2019). https:\/\/doi.org\/10.1145\/3342355","DOI":"10.1145\/3342355"},{"key":"26_CR18","doi-asserted-by":"publisher","unstructured":"Mohammadinejad, S., Deshmukh, J.V., Puranic, A.G., Vazquez-Chanlatte, M., Donz\u00e9, A.: Interpretable classification of time-series data using efficient enumerative techniques. In: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control (2020). https:\/\/doi.org\/10.1145\/3365365.3382218","DOI":"10.1145\/3365365.3382218"},{"key":"26_CR19","doi-asserted-by":"publisher","first-page":"130733","DOI":"10.1109\/ACCESS.2022.3229233","volume":"10","author":"AVS Neto","year":"2022","unstructured":"Neto, A.V.S., Camargo, J.B., Almeida, J.R., Cugnasca, P.S.: Safety assurance of artificial intelligence-based systems: a systematic literature review on the state of the art and guidelines for future work. IEEE Access 10, 130733\u2013130770 (2022). https:\/\/doi.org\/10.1109\/ACCESS.2022.3229233","journal-title":"IEEE Access"},{"key":"26_CR20","doi-asserted-by":"crossref","unstructured":"Ouzzani, M., Hammady, H., Fedorowicz, Z., Elmagarmid, A.: Rayyan: a web and mobile app for systematic reviews (2016). https:\/\/www.rayyan.ai","DOI":"10.1186\/s13643-016-0384-4"},{"key":"26_CR21","doi-asserted-by":"publisher","unstructured":"P\u0103s\u0103reanu, C.S.: Analysis of neural network takeover-time predictions for shared-control autonomous driving. In: Proceedings of the 1st International Workshop on Verification of Autonomous & Robotic Systems (2021). https:\/\/doi.org\/10.1145\/3459086.3459630","DOI":"10.1145\/3459086.3459630"},{"key":"26_CR22","unstructured":"Redfield, S., Olszewska, J.I., Leahy, K., Murahwi, Z., Araiza-Illan, D., Fisher, M.: Verification of autonomous systems: the road ahead. In: 40th Anniversary of the IEEE International Conference on Robotics and Automation. IEEE (2024)"},{"key":"26_CR23","doi-asserted-by":"publisher","unstructured":"Roy, D., Chang, W., Mitter, S.K., Chakraborty, S.: Tighter dimensioning of heterogeneous multi-resource autonomous CPS with control performance guarantees. In: Proceedings of the 56th Annual Design Automation Conference (2019). https:\/\/doi.org\/10.1145\/3316781.3317925","DOI":"10.1145\/3316781.3317925"},{"key":"26_CR24","doi-asserted-by":"publisher","unstructured":"Schaefer, I., Poetzsch-Heffter, A.: Slicing for model reduction in adaptive embedded systems development. In: Proceedings of the 2008 International Workshop on Software Engineering for Adaptive and Self-managing Systems, pp. 25\u201332 (2008). https:\/\/doi.org\/10.1145\/1370018.1370024","DOI":"10.1145\/1370018.1370024"},{"key":"26_CR25","doi-asserted-by":"publisher","unstructured":"Stamenkovich, J., Maalolan, L., Patterson, C.: Formal assurances for autonomous systems without verifying application software. In: 2019 Workshop on Research, Education and Development of Unmanned Aerial Systems (Red UAS), pp. 60\u201369 (2019). https:\/\/doi.org\/10.1109\/REDUAS47371.2019.8999690","DOI":"10.1109\/REDUAS47371.2019.8999690"},{"key":"26_CR26","doi-asserted-by":"publisher","unstructured":"Varricchio, V., Chaudhari, P., Frazzoli, E.: Sampling-based algorithms for optimal motion planning using process algebra specifications. In: 2014 IEEE International Conference on Robotics and Automation (ICRA), pp. 5326\u20135332 (2014). https:\/\/doi.org\/10.1109\/ICRA.2014.6907642","DOI":"10.1109\/ICRA.2014.6907642"},{"key":"26_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/978-3-642-24270-0_17","volume-title":"Computer Safety, Reliability, and Security","author":"M Webster","year":"2011","unstructured":"Webster, M., Fisher, M., Cameron, N., Jump, M.: Formal methods for the certification of autonomous unmanned aircraft systems. In: Flammini, F., Bologna, S., Vittorini, V. (eds.) SAFECOMP 2011. LNCS, vol. 6894, pp. 228\u2013242. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-24270-0_17"}],"container-title":["Lecture Notes in Computer Science","Towards Autonomous Robotic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-01486-3_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T06:57:06Z","timestamp":1757401026000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-01486-3_26"}},"subtitle":["(Invited Paper)"],"short-title":[],"issued":{"date-parts":[[2025,8,13]]},"ISBN":["9783032014856","9783032014863"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-01486-3_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025,8,13]]},"assertion":[{"value":"13 August 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The authors have no competing interests to declare that are relevant to the content of this article.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Disclosure of Interests"}},{"value":"TAROS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Annual Conference Towards Autonomous Robotic Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"York","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 August 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 August 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"taros2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/taros-conference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}