{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:41:24Z","timestamp":1760172084364,"version":"build-2065373602"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032080486","type":"print"},{"value":"9783032080493","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"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-032-08049-3_7","type":"book-chapter","created":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:21:35Z","timestamp":1760170895000},"page":"110-130","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Corroborative V&V for\u00a0Autonomous Systems: Integrating Evidence and\u00a0Discrepancy Analysis for\u00a0Safety Assurance"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4423-0284","authenticated-orcid":false,"given":"Dhaminda\u00a0B.","family":"Abeywickrama","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9999-7944","authenticated-orcid":false,"given":"Christopher","family":"Bishop","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9783-0147","authenticated-orcid":false,"given":"Simon","family":"Watson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frederic","family":"Wheeler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0875-3862","authenticated-orcid":false,"given":"Michael","family":"Fisher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5600-8832","authenticated-orcid":false,"given":"Louise","family":"Dennis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,10,12]]},"reference":[{"key":"7_CR1","unstructured":"Abeywickrama, D.B.: ECV2: eclipse plugin for corroborative verification and validation for autonomous systems (2025). https:\/\/github.com\/DhamindaA\/ecv2-eclipse-plugin"},{"key":"7_CR2","doi-asserted-by":"publisher","unstructured":"Abeywickrama, D.B., Fisher, M., Wheeler, F., Dennis, L.: Towards patterns for a reference assurance case for autonomous inspection robots. In: 2025 IEEE\/ACM 22nd International Conference on Software and Systems Reuse (ICSR), pp. 95\u2013100 (2025). https:\/\/doi.org\/10.1109\/ICSR66718.2025.00016","DOI":"10.1109\/ICSR66718.2025.00016"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Abeywickrama, D.B., et al.: Autonomous robotic swarms: a corroborative approach for verification and validation. In: Proceedings of the Engineering Reliable Autonomous Systems Conference (ERAS 2025). IEEE (2025). (In press)","DOI":"10.1109\/ERAS63351.2025.11135547"},{"key":"7_CR4","doi-asserted-by":"publisher","unstructured":"Bandstra, M.S., et\u00a0al.: Metrics and methods for radiation detection algorithm characterization for nuclear\/radiological source search. Tech. rep., Oak Ridge National Laboratory (ORNL), Oak Ridge, TN (United States) (2024). https:\/\/doi.org\/10.2172\/2439899","DOI":"10.2172\/2439899"},{"key":"7_CR5","doi-asserted-by":"publisher","unstructured":"Bersani, M.M., Soldo, M., Menghi, C., Pelliccione, P., Rossi, M.: PuRSUE -from specification of robotic environments to synthesis of controllers. Formal Aspects Comput., 187\u2013227 (2020). https:\/\/doi.org\/10.1007\/s00165-020-00509-0","DOI":"10.1007\/s00165-020-00509-0"},{"key":"7_CR6","unstructured":"Bishop, C., Soboyejo, T., Zheng, S., Weightman, A., Cryer, A., Watson, S.: RoboOntology: a systems engineering ontology for mapping between robots and tasks via requirements and functionalities (2025)"},{"issue":"6","key":"7_CR7","doi-asserted-by":"publisher","first-page":"1309","DOI":"10.1109\/TRO.2016.2624754","volume":"32","author":"C Cadena","year":"2016","unstructured":"Cadena, C., Carlone, L., Carrillo, H., Latif, Y., Scaramuzza, D., Neira, J., Reid, I., Leonard, J.J.: Past, present, and future of simultaneous localization and mapping: toward the robust-perception age. IEEE Trans. Rob. 32(6), 1309\u20131332 (2016). https:\/\/doi.org\/10.1109\/TRO.2016.2624754","journal-title":"IEEE Trans. Rob."},{"key":"7_CR8","doi-asserted-by":"publisher","unstructured":"Cardoso, R., Farrell, M., Luckcuck, M., Ferrando, A., Fisher, M.: Heterogeneous verification of an autonomous curiosity rover. In: NASA Formal Methods (NFM). LNCS (2020). https:\/\/doi.org\/10.1007\/978-3-030-55754-6_20","DOI":"10.1007\/978-3-030-55754-6_20"},{"key":"7_CR9","unstructured":"Cleaveland, M., Lu, P., Sokolsky, O., Lee, I., Ruchkin, I.: Conservative perception models for probabilistic verification (2025). https:\/\/arxiv.org\/abs\/2503.18077"},{"key":"7_CR10","doi-asserted-by":"publisher","unstructured":"Cleaveland, M., Ruchkin, I., Sokolsky, O., Lee, I.: Monotonic safety for scalable and data-efficient probabilistic safety analysis. In: 2022 ACM\/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS), pp. 92\u2013103. IEEE Computer Society (2022). https:\/\/doi.org\/10.1109\/ICCPS54341.2022.00015","DOI":"10.1109\/ICCPS54341.2022.00015"},{"key":"7_CR11","unstructured":"Collins, J., Brown, R., Leitner, J., Howard, D.: Traversing the reality gap via simulator tuning. In: Kulic, D. (ed.) Australasian Conference on Robotics and Automation (ACRA 2021). Australian Robotics and Automation Association (ARAA) (2021). https:\/\/www.araa.asn.au\/conference\/acra-2021\/"},{"key":"7_CR12","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-031-07727-2_1","volume-title":"Integrated Formal Methods","author":"LA Dennis","year":"2022","unstructured":"Dennis, L.A.: Verifying autonomous systems. In: ter Beek, M.H., Monahan, R. (eds.) Integrated Formal Methods, pp. 3\u201317. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-07727-2_1"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Dennis, L.A., Fisher, M.: Verifiable autonomous systems: using rational agents to provide assurance about decisions made by machines. Cambridge University Press (2023)","DOI":"10.1017\/9781108755023"},{"issue":"4","key":"7_CR14","doi-asserted-by":"publisher","first-page":"1123","DOI":"10.1007\/s10270-020-00854-x","volume":"20","author":"S Dragule","year":"2021","unstructured":"Dragule, S., Berger, T., Menghi, C., Pelliccione, P.: A survey on the design space of end-user-oriented languages for specifying robotic missions. Softw. Syst. Model. 20(4), 1123\u20131158 (2021). https:\/\/doi.org\/10.1007\/s10270-020-00854-x","journal-title":"Softw. Syst. Model."},{"key":"7_CR15","doi-asserted-by":"publisher","unstructured":"Farrell, M., Mavrakis, N., Ferrando, A., Dixon, C., Gao, Y.: Formal modelling and runtime verification of autonomous grasping for active debris removal. In: Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, 7\u201310 June 2022, Proceedings, pp. 39\u201344. Springer-Verlag, Berlin, Heidelberg (2022https:\/\/doi.org\/10.1007\/978-3-031-07727-2_3","DOI":"10.1007\/978-3-031-07727-2_3"},{"key":"7_CR16","doi-asserted-by":"publisher","unstructured":"Garijo, D.: Widoco: a wizard for documenting ontologies. In: International Semantic Web Conference, pp. 94\u2013102. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-68204-4_9","DOI":"10.1007\/978-3-319-68204-4_9"},{"key":"7_CR17","unstructured":"Graebener, J.B., et al.: Flow-based synthesis of reactive tests for discrete decision-making systems with temporal logic specifications. arXiv (2024)"},{"key":"7_CR18","doi-asserted-by":"publisher","unstructured":"Mallozzi, P., Nuzzo, P., Pelliccione, P., Schneider, G.: CROME: contract-based robotic mission specification. In: 2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), pp. 1\u201311 (2020). https:\/\/doi.org\/10.1109\/MEMOCODE51338.2020.9315065","DOI":"10.1109\/MEMOCODE51338.2020.9315065"},{"key":"7_CR19","unstructured":"Mallozzi, P., Nuzzo, P., Piterman, N., Schneider, G., Pelliccione, P.: Correct-by-construction design of contextual robotic missions using contracts. arXiv (2023)"},{"key":"7_CR20","doi-asserted-by":"publisher","unstructured":"Menghi, C., Tsigkanos, C., Pelliccione, P., Ghezzi, C., Berger, T.: Specification patterns for robotic missions. IEEE Trans. Softw. Eng. 47(10), 2208\u20132224 (2021). https:\/\/doi.org\/10.1109\/TSE.2019.2945329","DOI":"10.1109\/TSE.2019.2945329"},{"key":"7_CR21","volume-title":"Introduction to Statistical Quality Control","author":"DC Montgomery","year":"2013","unstructured":"Montgomery, D.C.: Introduction to Statistical Quality Control, 7th edn. Wiley, Hoboken, NJ (2013)","edition":"7"},{"key":"7_CR22","unstructured":"Norton, A., Flynn, B.: Towards using multiple iterated, reproduced, and replicated experiments with robots (MIRRER) for evaluation and benchmarking (2024). https:\/\/arxiv.org\/abs\/2408.04736"},{"issue":"1","key":"7_CR23","doi-asserted-by":"publisher","first-page":"21","DOI":"10.4018\/jswis.2013010102","volume":"9","author":"S Peroni","year":"2013","unstructured":"Peroni, S., Shotton, D., Vitali, F.: Tools for the automatic generation of ontology documentation: a task-based evaluation. Int. J. Semant. Web Inf. Syst. 9(1), 21\u201344 (2013). https:\/\/doi.org\/10.4018\/jswis.2013010102","journal-title":"Int. J. Semant. Web Inf. Syst."},{"key":"7_CR24","unstructured":"Pert, C., Alrajeh, D., Russo, A.: $$\\omega $$-regular expression synthesis from transition-based b\u00fcchi automata. arXiv (2024)"},{"key":"7_CR25","unstructured":"PRISM model checker: the PRISM language (2023). https:\/\/www.prismmodelchecker.org\/manual\/ThePRISMLanguage\/AllOnOnePage"},{"key":"7_CR26","unstructured":"Schuppe, G.F.: Assumptions in synthesis: an approach to multi-agent planning from spatio-temporal specifications. Ph.D. thesis, School of Electrical Engineering and Computer Science, KTH (2023)"},{"key":"7_CR27","doi-asserted-by":"publisher","unstructured":"Schwammberger, M., Harper, C., Alves, G.V., Chance, G., Pipe, T., Eder, K.: Integrating formal verification and simulation-based assertion checking in a corroborative V &V process (2022). https:\/\/doi.org\/10.48550\/arXiv.2208.05273","DOI":"10.48550\/arXiv.2208.05273"},{"key":"7_CR28","unstructured":"Tani, J., et al.: Integrated benchmarking and design for reproducible and accessible evaluation of robotic agents (2020). https:\/\/arxiv.org\/abs\/2009.04362"},{"issue":"1","key":"7_CR29","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1177\/0278364919883338","volume":"39","author":"M Webster","year":"2020","unstructured":"Webster, M., et al.: A corroborative approach to verification and validation of human\u2013robot teams. Int. J. Robot. Res. 39(1), 73\u201399 (2020). https:\/\/doi.org\/10.1177\/0278364919883338","journal-title":"Int. J. Robot. Res."},{"key":"7_CR30","doi-asserted-by":"crossref","unstructured":"Webster, M.P., Cameron, N., Fisher, M., Jump, M.: Generating certification evidence for autonomous unmanned aircraft using model checking and simulation. J. Aerosp. Inf. Syst. 11, 258\u2013279 (2014). https:\/\/api.semanticscholar.org\/CorpusID:3411316","DOI":"10.2514\/1.I010096"},{"issue":"1","key":"7_CR31","doi-asserted-by":"publisher","first-page":"594","DOI":"10.1109\/LRA.2021.3130630","volume":"7","author":"M Wei","year":"2022","unstructured":"Wei, M., Isler, V.: Predicting energy consumption of ground robots on uneven terrains. IEEE Robot. Autom. Lett. 7(1), 594\u2013601 (2022). https:\/\/doi.org\/10.1109\/LRA.2021.3130630","journal-title":"IEEE Robot. Autom. Lett."},{"key":"7_CR32","doi-asserted-by":"crossref","unstructured":"Zudaire, S., Garrett, M., Uchitel, S.: Iterator-based temporal logic task planning. arXiv (2020)","DOI":"10.1109\/ICRA40945.2020.9197274"}],"container-title":["Communications in Computer and Information Science","Agents and Robots for reliable Engineered Autonomy"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-08049-3_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:21:39Z","timestamp":1760170899000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-08049-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783032080486","9783032080493"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-08049-3_7","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"value":"1865-0929","type":"print"},{"value":"1865-0937","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"12 October 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"AREA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Workshop on Agents and Robots for reliable Engineered Autonomy","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bologna","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","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":"25 October 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 October 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"area2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/areaworkshop.github.io\/AREA2025\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}