{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,29]],"date-time":"2025-08-29T10:18:56Z","timestamp":1756462736954,"version":"3.40.3"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031409523"},{"type":"electronic","value":"9783031409530"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"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":[[2023]]},"DOI":"10.1007\/978-3-031-40953-0_28","type":"book-chapter","created":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T17:02:08Z","timestamp":1694624528000},"page":"341-354","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["AERoS: Assurance of\u00a0Emergent Behaviour in\u00a0Autonomous Robotic Swarms"],"prefix":"10.1007","author":[{"given":"Dhaminda B.","family":"Abeywickrama","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"Wilson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Suet","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Greg","family":"Chance","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter D.","family":"Winter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arianna","family":"Manzini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ibrahim","family":"Habli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shane","family":"Windsor","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sabine","family":"Hauert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kerstin","family":"Eder","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,9,14]]},"reference":[{"unstructured":"Abeywickrama, D.B., Bennaceur, A., Chance, G., et al: On specifying for trustworthiness (2022). http:\/\/arxiv.org\/abs\/2206.11421","key":"28_CR1"},{"key":"28_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/978-3-319-08915-7_4","volume-title":"Models@run.time","author":"BHC Cheng","year":"2014","unstructured":"Cheng, B.H.C., et al.: Using models at runtime to address assurance for self-adaptive systems. In: Bencomo, N., France, R., Cheng, B.H.C., A\u00dfmann, U. (eds.) Models@run.time. LNCS, vol. 8378, pp. 101\u2013136. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-08915-7_4"},{"unstructured":"Hawkins, R., Paterson, C., Picardi, C., Jia, Y., Calinescu, R., Habli, I.: Guidance on the assurance of machine learning in autonomous systems (AMLAS). Guidance Version 1.1, University of York (2021)","key":"28_CR3"},{"issue":"4","key":"28_CR4","doi-asserted-by":"publisher","first-page":"1746","DOI":"10.1109\/TETC.2022.3171314","volume":"10","author":"Y Jia","year":"2022","unstructured":"Jia, Y., McDermid, J., Lawton, T., Habli, I.: The role of explainability in assuring safety of machine learning in healthcare. IEEE Trans. Emerg. Top. Comput. 10(4), 1746\u20131760 (2022)","journal-title":"IEEE Trans. Emerg. Top. Comput."},{"issue":"11","key":"28_CR5","doi-asserted-by":"publisher","first-page":"2000110","DOI":"10.1002\/aisy.202000110","volume":"2","author":"S Jones","year":"2020","unstructured":"Jones, S., Milner, E., Sooriyabandara, M., Hauert, S.: Distributed situational awareness in robot swarms. Adv. Intell. Syst. 2(11), 2000110 (2020)","journal-title":"Adv. Intell. Syst."},{"unstructured":"Jones, S., Milner, E., Sooriyabandara, M., Hauert, S.: DOTS: an open testbed for industrial swarm robotic solutions (2022)","key":"28_CR6"},{"key":"28_CR7","series-title":"Springer Proceedings in Advanced Robotics","doi-asserted-by":"publisher","first-page":"487","DOI":"10.1007\/978-3-319-73008-0_34","volume-title":"Distributed Autonomous Robotic Systems","author":"S Jones","year":"2018","unstructured":"Jones, S., Studley, M., Hauert, S., Winfield, A.: Evolving behaviour trees for swarm robotics. In: Gro\u00df, R., et al. (eds.) Distributed Autonomous Robotic Systems. SPAR, vol. 6, pp. 487\u2013501. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-73008-0_34"},{"issue":"2","key":"28_CR8","doi-asserted-by":"publisher","first-page":"127","DOI":"10.4271\/01-15-02-0009","volume":"15","author":"F Kaakai","year":"2022","unstructured":"Kaakai, F., Dmitriev, K., Adibhatla, S., et al.: Toward a machine learning development lifecycle for product certification and approval in aviation. SAE Int. J. Aerosp. 15(2), 127\u2013143 (2022). https:\/\/doi.org\/10.4271\/01-15-02-0009","journal-title":"SAE Int. J. Aerosp."},{"issue":"4","key":"28_CR9","doi-asserted-by":"publisher","first-page":"10746","DOI":"10.1109\/LRA.2022.3189789","volume":"7","author":"S Lee","year":"2022","unstructured":"Lee, S., Milner, E., Hauert, S.: A data-driven method for metric extraction to detect faults in robot swarms. IEEE Robot. Autom. Lett. 7(4), 10746\u201310753 (2022)","journal-title":"IEEE Robot. Autom. Lett."},{"unstructured":"Mamalet, F., Jenn, E., Flandin, G., Delseny, H., Gabreau, C.: White paper machine learning in certified systems. Technical report HAL-03176080, IRT Saint Exupery (2021)","key":"28_CR10"},{"issue":"2","key":"28_CR11","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1007\/s10015-022-00749-8","volume":"27","author":"E Milner","year":"2022","unstructured":"Milner, E., Sooriyabandara, M., Hauert, S.: Stochastic behaviours for retrieval of storage items using simulated robot swarms. Artif. Life Robot. 27(2), 264\u2013271 (2022). https:\/\/doi.org\/10.1007\/s10015-022-00749-8","journal-title":"Artif. Life Robot."},{"issue":"1","key":"28_CR12","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1504\/IJMIC.2006.008645","volume":"1","author":"AFT Winfield","year":"2006","unstructured":"Winfield, A.F.T., Nembrini, J.: Safety in numbers: fault-tolerance in robot swarms. Int. J. Model. Identif. Control. 1(1), 30\u201337 (2006)","journal-title":"Int. J. Model. Identif. Control."}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-40953-0_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T17:06:37Z","timestamp":1694624797000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-40953-0_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031409523","9783031409530"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-40953-0_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"14 September 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SAFECOMP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computer Safety, Reliability, and Security","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Toulouse","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 September 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 September 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"42","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"safecomp2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/safecomp2023.cnrs.fr\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"100","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"20","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"20% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"5.7","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"For the workshops, 35 out of 49 papers have been accepted","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}