{"id":"https://openalex.org/W4406073287","doi":"https://doi.org/10.48550/arxiv.2407.15475","title":"Autonomous Robotic Swarms: A Corroborative Approach for Verification and Validation","display_name":"Autonomous Robotic Swarms: A Corroborative Approach for Verification and Validation","publication_year":2024,"publication_date":"2024-07-22","ids":{"openalex":"https://openalex.org/W4406073287","doi":"https://doi.org/10.48550/arxiv.2407.15475"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2407.15475","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2407.15475","pdf_url":"https://arxiv.org/pdf/2407.15475","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2407.15475","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5066751702","display_name":"Dhaminda B. Abeywickrama","orcid":"https://orcid.org/0000-0002-4423-0284"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Abeywickrama, Dhaminda B.","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046038103","display_name":"Suet Lee","orcid":"https://orcid.org/0000-0002-9196-5769"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lee, Suet","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067016636","display_name":"Chris Bennett","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Bennett, Chris","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071361077","display_name":"Razanne Abu-Aisheh","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Abu-Aisheh, Razanne","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5095901607","display_name":"Tom Didiot-Cook","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Didiot-Cook, Tom","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075434426","display_name":"Simon Jones","orcid":"https://orcid.org/0000-0002-7184-8477"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jones, Simon","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046286041","display_name":"Sabine Hauert","orcid":"https://orcid.org/0000-0003-0341-7306"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hauert, Sabine","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5033095054","display_name":"Kerstin Eder","orcid":"https://orcid.org/0000-0001-9746-1409"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Eder, Kerstin","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":8,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.8180000185966492,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.8180000185966492,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12784","display_name":"Modular Robots and Swarm Intelligence","score":0.7990999817848206,"subfield":{"id":"https://openalex.org/subfields/2210","display_name":"Mechanical Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.536015510559082},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.40924549102783203}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.536015510559082},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.40924549102783203}],"mesh":[],"locations_count":4,"locations":[{"id":"pmh:oai:arXiv.org:2407.15475","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2407.15475","pdf_url":"https://arxiv.org/pdf/2407.15475","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/2068126d-867f-49d4-8fe3-3dc50a206c5d","is_oa":false,"landing_page_url":"https://research.manchester.ac.uk/en/publications/2068126d-867f-49d4-8fe3-3dc50a206c5d","pdf_url":null,"source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Abeywickrama, D, Lee, S, Bennett, C, Abu-Aisheh, R, Didiot-Cook, T, Jones, S, Hauert, S & Eder, K 2025 'Autonomous Robotic Swarms : A Corroborative Approach for Verification and Validation' arXiv, pp. 1-15. https://doi.org/10.48550/arXiv.2407.15475","raw_type":"info:eu-repo/semantics/preprint"},{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/40dbdca5-d6ef-4716-a367-77a3f48b3c32","is_oa":false,"landing_page_url":"https://research.manchester.ac.uk/en/publications/40dbdca5-d6ef-4716-a367-77a3f48b3c32","pdf_url":null,"source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Abeywickrama, D B, Fisher, M, Wheeler, F & Dennis, L 2025 'Autonomy and Safety Assurance in the Early Development of Robotics and Autonomous Systems' arXiv. https://doi.org/10.48550/arXiv.2407.15475","raw_type":"info:eu-repo/semantics/preprint"},{"id":"doi:10.48550/arxiv.2407.15475","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2407.15475","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2407.15475","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2407.15475","pdf_url":"https://arxiv.org/pdf/2407.15475","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1956500862","display_name":null,"funder_award_id":"EP/V026518/1","funder_id":"https://openalex.org/F4320314731","funder_display_name":"UK Research and Innovation"},{"id":"https://openalex.org/G237632024","display_name":"UKRI Trustworthy Autonomous Systems Node in Functionality","funder_award_id":"EP/V026518/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G7029725163","display_name":"Centre for Robotic Autonomy in Demanding and Long-lasting Environments (CRADLE)","funder_award_id":"EP/X02489X/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320314731","display_name":"UK Research and Innovation","ror":"https://ror.org/001aqnf71"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4406073287.pdf","grobid_xml":"https://content.openalex.org/works/W4406073287.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"The":[0],"emergent":[1],"behaviour":[2],"of":[3,26,141],"autonomous":[4,49],"robotic":[5,50],"swarms":[6],"poses":[7],"a":[8,41,134,139,145],"significant":[9],"challenge":[10],"to":[11,19,82,116,124],"their":[12],"safety":[13],"assurance.":[14],"Assurance":[15],"tasks":[16],"encompass":[17],"adherence":[18],"standards,":[20],"certification":[21],"processes,":[22],"and":[23,28,47,64,86,101],"the":[24,56,120],"execution":[25],"verification":[27,98],"validation":[29,103],"(V&V)":[30],"methods,":[31],"such":[32],"as":[33],"model":[34],"checking.":[35],"In":[36,107],"this":[37,108],"study,":[38],"we":[39],"propose":[40],"corroborative":[42,111],"approach":[43,112,132],"for":[44,72,113],"formally":[45],"verifying":[46],"validating":[48],"swarms,":[51],"which":[52],"are":[53,74],"defined":[54],"at":[55],"macroscopic":[57,69],"formal":[58,68,97],"modelling,":[59],"low-fidelity":[60],"simulation,":[61,63],"high-fidelity":[62],"real-robot":[65],"levels.":[66],"Our":[67],"models,":[70],"used":[71],"verification,":[73],"characterised":[75],"by":[76],"data":[77],"derived":[78],"from":[79],"actual":[80],"simulations":[81,100],"ensure":[83],"both":[84],"accuracy":[85],"traceability":[87],"across":[88],"different":[89],"swarm":[90,140],"system":[91],"models.":[92],"Furthermore,":[93],"our":[94,110,131],"work":[95],"combines":[96],"with":[99],"experimental":[102],"using":[104],"real":[105],"robots.":[106],"way,":[109],"V&V":[114],"seeks":[115],"enhance":[117],"confidence":[118],"in":[119,122],"evidence,":[121],"contrast":[123],"employing":[125],"these":[126],"methods":[127],"separately.":[128],"We":[129],"explore":[130],"through":[133],"case":[135],"study":[136],"focused":[137],"on":[138],"robots":[142],"operating":[143],"within":[144],"public":[146],"cloakroom.":[147]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-01-05T00:00:00"}