{"id":"https://openalex.org/W3126883574","doi":"https://doi.org/10.1145/3394885.3431623","title":"Safety-Assured Design and Adaptation of Learning-Enabled Autonomous Systems","display_name":"Safety-Assured Design and Adaptation of Learning-Enabled Autonomous Systems","publication_year":2021,"publication_date":"2021-01-18","ids":{"openalex":"https://openalex.org/W3126883574","doi":"https://doi.org/10.1145/3394885.3431623","mag":"3126883574"},"language":"en","primary_location":{"id":"doi:10.1145/3394885.3431623","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3394885.3431623","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3394885.3431623","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 26th Asia and South Pacific Design Automation Conference","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3394885.3431623","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5020896290","display_name":"Qi Zhu","orcid":"https://orcid.org/0000-0002-7700-4099"},"institutions":[{"id":"https://openalex.org/I111979921","display_name":"Northwestern University","ror":"https://ror.org/000e0be47","country_code":"US","type":"education","lineage":["https://openalex.org/I111979921"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Qi Zhu","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Northwestern University, Evanston, Illinois, U.S.A"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Northwestern University, Evanston, Illinois, U.S.A","institution_ids":["https://openalex.org/I111979921"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009913582","display_name":"Chao Huang","orcid":"https://orcid.org/0000-0002-9300-1787"},"institutions":[{"id":"https://openalex.org/I111979921","display_name":"Northwestern University","ror":"https://ror.org/000e0be47","country_code":"US","type":"education","lineage":["https://openalex.org/I111979921"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Chao Huang","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Northwestern University, Evanston, Illinois, U.S.A"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Northwestern University, Evanston, Illinois, U.S.A","institution_ids":["https://openalex.org/I111979921"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017515613","display_name":"Ruochen Jiao","orcid":null},"institutions":[{"id":"https://openalex.org/I111979921","display_name":"Northwestern University","ror":"https://ror.org/000e0be47","country_code":"US","type":"education","lineage":["https://openalex.org/I111979921"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ruochen Jiao","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Northwestern University, Evanston, Illinois, U.S.A"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Northwestern University, Evanston, Illinois, U.S.A","institution_ids":["https://openalex.org/I111979921"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083893636","display_name":"Shuyue Lan","orcid":"https://orcid.org/0000-0001-8412-2045"},"institutions":[{"id":"https://openalex.org/I111979921","display_name":"Northwestern University","ror":"https://ror.org/000e0be47","country_code":"US","type":"education","lineage":["https://openalex.org/I111979921"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Shuyue Lan","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Northwestern University, Evanston, Illinois, U.S.A"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Northwestern University, Evanston, Illinois, U.S.A","institution_ids":["https://openalex.org/I111979921"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070869235","display_name":"Hengyi Liang","orcid":"https://orcid.org/0000-0002-1616-4259"},"institutions":[{"id":"https://openalex.org/I111979921","display_name":"Northwestern University","ror":"https://ror.org/000e0be47","country_code":"US","type":"education","lineage":["https://openalex.org/I111979921"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hengyi Liang","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Northwestern University, Evanston, Illinois, U.S.A"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Northwestern University, Evanston, Illinois, U.S.A","institution_ids":["https://openalex.org/I111979921"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100455498","display_name":"Liu X","orcid":"https://orcid.org/0000-0002-1879-3817"},"institutions":[{"id":"https://openalex.org/I111979921","display_name":"Northwestern University","ror":"https://ror.org/000e0be47","country_code":"US","type":"education","lineage":["https://openalex.org/I111979921"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xiangguo Liu","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Northwestern University, Evanston, Illinois, U.S.A"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Northwestern University, Evanston, Illinois, U.S.A","institution_ids":["https://openalex.org/I111979921"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100408475","display_name":"Yixuan Wang","orcid":"https://orcid.org/0000-0003-0847-8570"},"institutions":[{"id":"https://openalex.org/I111979921","display_name":"Northwestern University","ror":"https://ror.org/000e0be47","country_code":"US","type":"education","lineage":["https://openalex.org/I111979921"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yixuan Wang","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Northwestern University, Evanston, Illinois, U.S.A"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Northwestern University, Evanston, Illinois, U.S.A","institution_ids":["https://openalex.org/I111979921"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101595179","display_name":"Zhilu Wang","orcid":"https://orcid.org/0000-0002-6645-262X"},"institutions":[{"id":"https://openalex.org/I111979921","display_name":"Northwestern University","ror":"https://ror.org/000e0be47","country_code":"US","type":"education","lineage":["https://openalex.org/I111979921"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zhilu Wang","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Northwestern University, Evanston, Illinois, U.S.A"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Northwestern University, Evanston, Illinois, U.S.A","institution_ids":["https://openalex.org/I111979921"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101802326","display_name":"Shichao Xu","orcid":"https://orcid.org/0000-0002-9026-6245"},"institutions":[{"id":"https://openalex.org/I111979921","display_name":"Northwestern University","ror":"https://ror.org/000e0be47","country_code":"US","type":"education","lineage":["https://openalex.org/I111979921"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Shichao Xu","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Northwestern University, Evanston, Illinois, U.S.A"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Northwestern University, Evanston, Illinois, U.S.A","institution_ids":["https://openalex.org/I111979921"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I111979921"],"apc_list":null,"apc_paid":null,"fwci":2.7813,"has_fulltext":true,"cited_by_count":21,"citation_normalized_percentile":{"value":0.92309691,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"753","last_page":"760"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11512","display_name":"Anomaly Detection Techniques and Applications","score":0.9890000224113464,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11099","display_name":"Autonomous Vehicle Technology and Safety","score":0.9871000051498413,"subfield":{"id":"https://openalex.org/subfields/2203","display_name":"Automotive 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/adaptation","display_name":"Adaptation (eye)","score":0.732353150844574},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7010946869850159},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5327527523040771},{"id":"https://openalex.org/keywords/autonomous-system","display_name":"Autonomous system (mathematics)","score":0.5217845439910889},{"id":"https://openalex.org/keywords/resource","display_name":"Resource (disambiguation)","score":0.5110582113265991},{"id":"https://openalex.org/keywords/pipeline","display_name":"Pipeline (software)","score":0.46366292238235474},{"id":"https://openalex.org/keywords/autonomous-agent","display_name":"Autonomous agent","score":0.43000078201293945},{"id":"https://openalex.org/keywords/perception","display_name":"Perception","score":0.4183323085308075},{"id":"https://openalex.org/keywords/risk-analysis","display_name":"Risk analysis (engineering)","score":0.41125404834747314},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.38684895634651184},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.35420355200767517},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.3241578936576843},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1784786880016327}],"concepts":[{"id":"https://openalex.org/C139807058","wikidata":"https://www.wikidata.org/wiki/Q352374","display_name":"Adaptation (eye)","level":2,"score":0.732353150844574},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7010946869850159},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5327527523040771},{"id":"https://openalex.org/C9628104","wikidata":"https://www.wikidata.org/wiki/Q788009","display_name":"Autonomous system (mathematics)","level":2,"score":0.5217845439910889},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.5110582113265991},{"id":"https://openalex.org/C43521106","wikidata":"https://www.wikidata.org/wiki/Q2165493","display_name":"Pipeline (software)","level":2,"score":0.46366292238235474},{"id":"https://openalex.org/C13687954","wikidata":"https://www.wikidata.org/wiki/Q4826847","display_name":"Autonomous agent","level":2,"score":0.43000078201293945},{"id":"https://openalex.org/C26760741","wikidata":"https://www.wikidata.org/wiki/Q160402","display_name":"Perception","level":2,"score":0.4183323085308075},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.41125404834747314},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.38684895634651184},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.35420355200767517},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.3241578936576843},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1784786880016327},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C169760540","wikidata":"https://www.wikidata.org/wiki/Q207011","display_name":"Neuroscience","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3394885.3431623","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3394885.3431623","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3394885.3431623","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 26th Asia and South Pacific Design Automation Conference","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3394885.3431623","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3394885.3431623","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3394885.3431623","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 26th Asia and South Pacific Design Automation Conference","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G7066419418","display_name":"CPS: Breakthrough: Collaborative Research: A Framework for Extensibility-Driven Design of Cyber-Physical Systems","funder_award_id":"1834324","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7355920399","display_name":null,"funder_award_id":"1724341","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G7908841254","display_name":null,"funder_award_id":"N00014-19-1-2496","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G8136969180","display_name":"CAREER: SOlSTICe: Software Synthesis with Timing Contracts for Cyber-Physical Systems","funder_award_id":"1834701","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8683515847","display_name":"CPS: Synergy: Securing the Timing of Cyber-Physical Systems","funder_award_id":"1839511","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8876996369","display_name":null,"funder_award_id":"N00014","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3126883574.pdf","grobid_xml":"https://content.openalex.org/works/W3126883574.grobid-xml"},"referenced_works_count":116,"referenced_works":["https://openalex.org/W172589331","https://openalex.org/W992687842","https://openalex.org/W1607353007","https://openalex.org/W1821462560","https://openalex.org/W2080373251","https://openalex.org/W2105863608","https://openalex.org/W2114766824","https://openalex.org/W2145969286","https://openalex.org/W2161591461","https://openalex.org/W2193145675","https://openalex.org/W2267244539","https://openalex.org/W2294370754","https://openalex.org/W2300242332","https://openalex.org/W2342503243","https://openalex.org/W2407521645","https://openalex.org/W2531409750","https://openalex.org/W2531947542","https://openalex.org/W2555983297","https://openalex.org/W2559655401","https://openalex.org/W2604272474","https://openalex.org/W2604410735","https://openalex.org/W2606692557","https://openalex.org/W2612445135","https://openalex.org/W2612690371","https://openalex.org/W2612875298","https://openalex.org/W2613718673","https://openalex.org/W2625222503","https://openalex.org/W2721006554","https://openalex.org/W2742332513","https://openalex.org/W2749895778","https://openalex.org/W2750432752","https://openalex.org/W2750784772","https://openalex.org/W2759834774","https://openalex.org/W2769189682","https://openalex.org/W2769601620","https://openalex.org/W2774344263","https://openalex.org/W2777012514","https://openalex.org/W2791251367","https://openalex.org/W2792291478","https://openalex.org/W2798554470","https://openalex.org/W2807040120","https://openalex.org/W2810271953","https://openalex.org/W2883239200","https://openalex.org/W2884150179","https://openalex.org/W2886821123","https://openalex.org/W2887447938","https://openalex.org/W2889986919","https://openalex.org/W2890472662","https://openalex.org/W2891927927","https://openalex.org/W2892354372","https://openalex.org/W2899668915","https://openalex.org/W2920326761","https://openalex.org/W2920498407","https://openalex.org/W2937876711","https://openalex.org/W2938701611","https://openalex.org/W2951930445","https://openalex.org/W2955425717","https://openalex.org/W2956805085","https://openalex.org/W2962677625","https://openalex.org/W2962965870","https://openalex.org/W2963037989","https://openalex.org/W2963087201","https://openalex.org/W2963125010","https://openalex.org/W2963150697","https://openalex.org/W2963163009","https://openalex.org/W2963207607","https://openalex.org/W2963351448","https://openalex.org/W2963363373","https://openalex.org/W2963575695","https://openalex.org/W2963600714","https://openalex.org/W2963674932","https://openalex.org/W2963709416","https://openalex.org/W2963731007","https://openalex.org/W2963784236","https://openalex.org/W2963840672","https://openalex.org/W2963993763","https://openalex.org/W2964008506","https://openalex.org/W2964130946","https://openalex.org/W2964153729","https://openalex.org/W2964211168","https://openalex.org/W2965862350","https://openalex.org/W2980176926","https://openalex.org/W2982770724","https://openalex.org/W2984656825","https://openalex.org/W2989658386","https://openalex.org/W2996902490","https://openalex.org/W2999905431","https://openalex.org/W3004061291","https://openalex.org/W3006063542","https://openalex.org/W3010357886","https://openalex.org/W3012573144","https://openalex.org/W3013601111","https://openalex.org/W3015362971","https://openalex.org/W3015534729","https://openalex.org/W3018620046","https://openalex.org/W3020002424","https://openalex.org/W3035049382","https://openalex.org/W3040033967","https://openalex.org/W3042678697","https://openalex.org/W3046272654","https://openalex.org/W3046601586","https://openalex.org/W3046662910","https://openalex.org/W3049327451","https://openalex.org/W3049560336","https://openalex.org/W3089856152","https://openalex.org/W3091798065","https://openalex.org/W3091969306","https://openalex.org/W3093057205","https://openalex.org/W3102554879","https://openalex.org/W3102961490","https://openalex.org/W3106250896","https://openalex.org/W3111799874","https://openalex.org/W3120014292","https://openalex.org/W3136613205","https://openalex.org/W4214651231","https://openalex.org/W4234552385"],"related_works":["https://openalex.org/W2493018157","https://openalex.org/W2966798053","https://openalex.org/W2138550200","https://openalex.org/W4289243840","https://openalex.org/W2901383943","https://openalex.org/W1844317609","https://openalex.org/W1575702857","https://openalex.org/W3027075889","https://openalex.org/W1555058580","https://openalex.org/W2751020278"],"abstract_inverted_index":{"Future":[0],"autonomous":[1,63,123,182,190,203],"systems":[2,124],"will":[3,99,199],"employ":[4],"sophisticated":[5],"machine":[6,86],"learning":[7,87],"techniques":[8],"for":[9,22,84,118],"the":[10,15,18,59,66,69,72,76,80,120,154,163,207,213],"sensing":[11],"and":[12,17,25,35,38,45,53,79,105,113,116,128,148,157,160,170,202,219],"perception":[13],"of":[14,61,68,82,102,122,166,215],"surroundings":[16],"making":[19],"corresponding":[20],"decisions":[21],"planning,":[23,169],"control,":[24],"other":[26,149],"actions.":[27],"They":[28],"often":[29],"operate":[30],"in":[31,109,125,144,194,224],"highly":[32],"dynamic,":[33],"uncertain":[34],"challenging":[36,56],"environment,":[37],"need":[39],"to":[40,57,139,184,211],"meet":[41],"stringent":[42],"timing,":[43],"resource,":[44],"mission":[46],"requirements.":[47],"In":[48,95],"particular,":[49],"it":[50,136],"is":[51,137],"critical":[52],"yet":[54],"very":[55],"ensure":[58],"safety":[60,121,147],"these":[62,103],"systems,":[64],"given":[65],"uncertainties":[67],"system":[70,77,146,183,187],"inputs,":[71],"constant":[73],"disturbances":[74],"on":[75,92],"operations,":[78],"lack":[81],"analyzability":[83],"many":[85],"methods":[88,115],"(particularly":[89],"those":[90],"based":[91],"neural":[93],"networks).":[94],"this":[96,225],"paper,":[97],"we":[98],"discuss":[100],"some":[101],"challenges,":[104],"present":[106],"our":[107,221],"work":[108],"developing":[110],"automated,":[111],"quantitative,":[112],"formalized":[114],"tools":[117],"ensuring":[119],"their":[126,130],"design":[127],"during":[129],"runtime":[131],"adaptation.":[132],"We":[133,198],"argue":[134],"that":[135],"essential":[138],"take":[140],"a":[141,180,185,195],"holistic":[142,217],"approach":[143,174,218],"addressing":[145],"safety-related":[150],"properties,":[151],"vertically":[152],"across":[153,162],"functional,":[155],"software,":[156],"hardware":[158],"layers,":[159],"horizontally":[161],"autonomy":[164],"pipeline":[165],"sensing,":[167],"perception,":[168],"control":[171],"modules.":[172],"This":[173],"could":[175],"be":[176],"further":[177],"extended":[178],"from":[179],"single":[181],"multi-agent":[186],"where":[188],"multiple":[189],"agents":[191],"perform":[192],"tasks":[193],"collaborative":[196],"manner.":[197],"use":[200],"connected":[201],"vehicles":[204],"(CAVs)":[205],"as":[206],"main":[208],"application":[209],"domain":[210],"illustrate":[212],"importance":[214],"such":[216],"show":[220],"initial":[222],"efforts":[223],"direction.":[226]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":9},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":5}],"updated_date":"2026-08-06T08:24:18.245995","created_date":"2025-10-10T00:00:00"}