{"id":"https://openalex.org/W4385453437","doi":"https://doi.org/10.1109/access.2023.3300423","title":"Online Safety Verification of Autonomous Driving Decision-Making Based on Dynamic Reachability Analysis","display_name":"Online Safety Verification of Autonomous Driving Decision-Making Based on Dynamic Reachability Analysis","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W4385453437","doi":"https://doi.org/10.1109/access.2023.3300423"},"language":"en","primary_location":{"id":"doi:10.1109/access.2023.3300423","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2023.3300423","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/10198247.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/10198247.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101688555","display_name":"Fei Gao","orcid":"https://orcid.org/0000-0001-9020-6720"},"institutions":[{"id":"https://openalex.org/I194450716","display_name":"Jilin University","ror":"https://ror.org/00js3aw79","country_code":"CN","type":"education","lineage":["https://openalex.org/I194450716"]},{"id":"https://openalex.org/I4392738231","display_name":"State Key Laboratory of Automotive Simulation and Control","ror":"https://ror.org/00b67z867","country_code":null,"type":"facility","lineage":["https://openalex.org/I194450716","https://openalex.org/I4392738231"]},{"id":"https://openalex.org/I79223203","display_name":"Guangdong Ocean University","ror":"https://ror.org/0462wa640","country_code":"CN","type":"education","lineage":["https://openalex.org/I79223203"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Fei Gao","raw_affiliation_strings":["State Key Laboratory of Automotive Simulation and Control, Jilin University, Changchun, China","State Key Laboratory of Automotive Simulation and Control, Guangdong Ocean University, Changchun, Jilin, China"],"raw_orcid":"https://orcid.org/0000-0001-9020-6720","affiliations":[{"raw_affiliation_string":"State Key Laboratory of Automotive Simulation and Control, Jilin University, Changchun, China","institution_ids":["https://openalex.org/I194450716","https://openalex.org/I4392738231"]},{"raw_affiliation_string":"State Key Laboratory of Automotive Simulation and Control, Guangdong Ocean University, Changchun, Jilin, China","institution_ids":["https://openalex.org/I79223203"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103109402","display_name":"Cheng Luo","orcid":"https://orcid.org/0000-0003-0996-7114"},"institutions":[{"id":"https://openalex.org/I116953780","display_name":"Tongji University","ror":"https://ror.org/03rc6as71","country_code":"CN","type":"education","lineage":["https://openalex.org/I116953780"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Cheng Luo","raw_affiliation_strings":["School of Automotive Studies, Tongji University, Shanghai, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Automotive Studies, Tongji University, Shanghai, China","institution_ids":["https://openalex.org/I116953780"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101273067","display_name":"Fangyuan Shi","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Fangyuan Shi","raw_affiliation_strings":["Chongqing Chang’an Automobile Company Ltd., Chongqing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Chongqing Chang’an Automobile Company Ltd., Chongqing, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052373456","display_name":"Xianqing Chen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xianqing Chen","raw_affiliation_strings":["Chongqing Chang’an Automobile Company Ltd., Chongqing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Chongqing Chang’an Automobile Company Ltd., Chongqing, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022668758","display_name":"Zhenhai Gao","orcid":"https://orcid.org/0000-0002-4623-3956"},"institutions":[{"id":"https://openalex.org/I194450716","display_name":"Jilin University","ror":"https://ror.org/00js3aw79","country_code":"CN","type":"education","lineage":["https://openalex.org/I194450716"]},{"id":"https://openalex.org/I4392738231","display_name":"State Key Laboratory of Automotive Simulation and Control","ror":"https://ror.org/00b67z867","country_code":null,"type":"facility","lineage":["https://openalex.org/I194450716","https://openalex.org/I4392738231"]},{"id":"https://openalex.org/I79223203","display_name":"Guangdong Ocean University","ror":"https://ror.org/0462wa640","country_code":"CN","type":"education","lineage":["https://openalex.org/I79223203"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhenhai Gao","raw_affiliation_strings":["State Key Laboratory of Automotive Simulation and Control, Jilin University, Changchun, China","State Key Laboratory of Automotive Simulation and Control, Guangdong Ocean University, Changchun, Jilin, China"],"raw_orcid":"https://orcid.org/0000-0002-4623-3956","affiliations":[{"raw_affiliation_string":"State Key Laboratory of Automotive Simulation and Control, Jilin University, Changchun, China","institution_ids":["https://openalex.org/I194450716","https://openalex.org/I4392738231"]},{"raw_affiliation_string":"State Key Laboratory of Automotive Simulation and Control, Guangdong Ocean University, Changchun, Jilin, China","institution_ids":["https://openalex.org/I79223203"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5024414161","display_name":"Rui Zhao","orcid":"https://orcid.org/0000-0003-1597-1961"},"institutions":[{"id":"https://openalex.org/I194450716","display_name":"Jilin University","ror":"https://ror.org/00js3aw79","country_code":"CN","type":"education","lineage":["https://openalex.org/I194450716"]},{"id":"https://openalex.org/I4392738231","display_name":"State Key Laboratory of Automotive Simulation and Control","ror":"https://ror.org/00b67z867","country_code":null,"type":"facility","lineage":["https://openalex.org/I194450716","https://openalex.org/I4392738231"]},{"id":"https://openalex.org/I79223203","display_name":"Guangdong Ocean University","ror":"https://ror.org/0462wa640","country_code":"CN","type":"education","lineage":["https://openalex.org/I79223203"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Rui Zhao","raw_affiliation_strings":["State Key Laboratory of Automotive Simulation and Control, Jilin University, Changchun, China","State Key Laboratory of Automotive Simulation and Control, Guangdong Ocean University, Changchun, Jilin, China"],"raw_orcid":"https://orcid.org/0000-0003-1597-1961","affiliations":[{"raw_affiliation_string":"State Key Laboratory of Automotive Simulation and Control, Jilin University, Changchun, China","institution_ids":["https://openalex.org/I194450716","https://openalex.org/I4392738231"]},{"raw_affiliation_string":"State Key Laboratory of Automotive Simulation and Control, Guangdong Ocean University, Changchun, Jilin, China","institution_ids":["https://openalex.org/I79223203"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":0.827,"has_fulltext":true,"cited_by_count":8,"citation_normalized_percentile":{"value":0.71532206,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":"11","issue":null,"first_page":"93293","last_page":"93309"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11099","display_name":"Autonomous Vehicle Technology and Safety","score":0.9994999766349792,"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"}},"topics":[{"id":"https://openalex.org/T11099","display_name":"Autonomous Vehicle Technology and Safety","score":0.9994999766349792,"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"}},{"id":"https://openalex.org/T10525","display_name":"Human-Automation Interaction and Safety","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/3207","display_name":"Social Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10370","display_name":"Traffic and Road Safety","score":0.9872000217437744,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"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/reachability","display_name":"Reachability","score":0.9222617149353027},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7312145233154297},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.137849360704422}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.9222617149353027},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7312145233154297},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.137849360704422}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/access.2023.3300423","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2023.3300423","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/10198247.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:ffb24f12a0bf4825a540cbf0ba8e35e4","is_oa":true,"landing_page_url":"https://doaj.org/article/ffb24f12a0bf4825a540cbf0ba8e35e4","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, Vol 11, Pp 93293-93309 (2023)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2023.3300423","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2023.3300423","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/10198247.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.6899999976158142,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G7194057990","display_name":null,"funder_award_id":"52202495","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7872204055","display_name":null,"funder_award_id":"52202494","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4385453437.pdf","grobid_xml":"https://content.openalex.org/works/W4385453437.grobid-xml"},"referenced_works_count":27,"referenced_works":["https://openalex.org/W2111216083","https://openalex.org/W2203546494","https://openalex.org/W2438413413","https://openalex.org/W2525936901","https://openalex.org/W2540641548","https://openalex.org/W2576845151","https://openalex.org/W2591417212","https://openalex.org/W2752935274","https://openalex.org/W2790855053","https://openalex.org/W2890685830","https://openalex.org/W2915409984","https://openalex.org/W2921469264","https://openalex.org/W2923088732","https://openalex.org/W2971031619","https://openalex.org/W3054438628","https://openalex.org/W3086854072","https://openalex.org/W3120200007","https://openalex.org/W3120881882","https://openalex.org/W3208018789","https://openalex.org/W3208207838","https://openalex.org/W3210651683","https://openalex.org/W4285813112","https://openalex.org/W4289792821","https://openalex.org/W4353056919","https://openalex.org/W6625201024","https://openalex.org/W6687422637","https://openalex.org/W6782102727"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2127267268","https://openalex.org/W2136512912","https://openalex.org/W2067910792","https://openalex.org/W2156446763","https://openalex.org/W2143461633","https://openalex.org/W2150194458","https://openalex.org/W4321471459"],"abstract_inverted_index":{"Addressing":[0],"decision":[1],"safety":[2,34,63,116,150,186,203,209,244],"in":[3,80,101,163,178,221,236,250],"the":[4,20,26,71,90,139,149,158,166,171,191,237,247],"unpredictable":[5],"arena":[6],"of":[7,29,36,134,151,174,208],"complex":[8],"traffic":[9,31,126,135,223,231,259],"scenarios":[10,179],"represents":[11],"a":[12,183,198,206,217],"significant":[13],"hurdle":[14],"for":[15,144,210],"autonomous":[16,37,91,152,192,211,257],"driving":[17,38,62,104],"systems.":[18],"Considering":[19],"inherent":[21],"spatial-temporal":[22],"uncertainties":[23],"associated":[24],"with":[25,165,170],"future":[27],"actions":[28],"surrounding":[30],"participants,":[32],"real-time":[33],"verification":[35,48,117],"decisions":[39,154,254],"is":[40,188],"crucial":[41],"to":[42,73,128,201,230],"maintaining":[43],"vehicular":[44],"safety.":[45],"Existing":[46],"online":[47],"methodologies,":[49],"such":[50],"as":[51,197],"Responsibility":[52],"Sensitive":[53],"Safety":[54,57],"(RSS)":[55],"and":[56,69,77,98,124,147,241,255],"Force":[58],"Field":[59],"(SFF),":[60],"ensure":[61],"by":[64,89,155],"formalizing":[65],"human":[66],"safe-driving":[67],"rules":[68,127],"constraining":[70],"vehicle":[72,92,153],"maintain":[74],"safe":[75,219],"lateral":[76],"longitudinal":[78],"distances":[79],"real-time.":[81],"While":[82],"these":[83,108,160],"methods":[84],"effectively":[85],"prevent":[86],"collisions":[87],"instigated":[88],"itself,":[93],"they":[94],"lack":[95],"sufficient":[96],"foresight":[97],"often":[99],"result":[100],"less":[102],"smooth":[103,185],"trajectories.":[105],"To":[106],"address":[107],"limitations,":[109],"we":[110],"propose":[111],"an":[112],"innovative,":[113],"interpretable,":[114],"formal":[115],"framework.":[118],"This":[119],"approach":[120],"integrates":[121],"both":[122],"explicit":[123],"implicit":[125],"anticipate":[129],"all":[130,222],"legally":[131],"acceptable":[132],"transitions":[133],"scenarios.":[136],"It":[137],"builds":[138],"lawful,":[140],"short-term":[141],"reachable":[142],"region":[143],"each":[145],"vehicle,":[146],"verifies":[148],"assessing":[156],"whether":[157],"regions":[159],"vehicles":[161],"inhabit,":[162],"accordance":[164],"expected":[167],"trajectory,":[168],"overlap":[169],"accessible":[172],"zones":[173],"other":[175,227],"vehicles.":[176],"Furthermore,":[177],"presenting":[180],"potential":[181],"danger,":[182],"backup":[184],"trajectory":[187,220],"derived":[189],"from":[190],"vehicle\u2019s":[193],"legal":[194],"reachability":[195],"domain":[196],"preventive":[199],"measure":[200],"degrade":[202],"threats.":[204],"As":[205],"cornerstone":[207],"vehicles,":[212],"our":[213],"proposed":[214],"method":[215],"ensures":[216],"continual":[218],"scenarios,":[224,245],"provided":[225],"that":[226],"participants":[228],"adhere":[229],"rules.":[232],"Experimental":[233],"outcomes,":[234],"grounded":[235],"ISO":[238],"34502":[239],"standard":[240],"real-world":[242],"critical":[243],"demonstrate":[246],"method\u2019s":[248],"efficacy":[249],"identifying":[251],"potentially":[252],"dangerous":[253],"mitigating":[256],"vehicle-induced":[258],"accidents.":[260]},"counts_by_year":[{"year":2026,"cited_by_count":4},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}