{"id":"https://openalex.org/W3135584977","doi":"https://doi.org/10.1007/s00165-021-00539-2","title":"SDLV: Verification of Steering Angle Safety for Self-Driving Cars","display_name":"SDLV: Verification of Steering Angle Safety for Self-Driving Cars","publication_year":2021,"publication_date":"2021-03-04","ids":{"openalex":"https://openalex.org/W3135584977","doi":"https://doi.org/10.1007/s00165-021-00539-2","mag":"3135584977"},"language":"en","primary_location":{"id":"doi:10.1007/s00165-021-00539-2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-021-00539-2","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-021-00539-2","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-021-00539-2","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5085449426","display_name":"Huihui Wu","orcid":"https://orcid.org/0000-0001-7254-3379"},"institutions":[{"id":"https://openalex.org/I27357992","display_name":"Dalian University of Technology","ror":"https://ror.org/023hj5876","country_code":"CN","type":"education","lineage":["https://openalex.org/I27357992"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Huihui Wu","raw_affiliation_strings":["Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province, Dalian, China","School of Software Technology, Dalian University of Technology, Dalian, China","School of Software Technology, Dalian University of Technology, Dalian, China Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province, Dalian, China"],"affiliations":[{"raw_affiliation_string":"Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province, Dalian, China","institution_ids":[]},{"raw_affiliation_string":"School of Software Technology, Dalian University of Technology, Dalian, China","institution_ids":["https://openalex.org/I27357992"]},{"raw_affiliation_string":"School of Software Technology, Dalian University of Technology, Dalian, China Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province, Dalian, China","institution_ids":["https://openalex.org/I27357992"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110749296","display_name":"Dongnan Lv","orcid":null},"institutions":[{"id":"https://openalex.org/I27357992","display_name":"Dalian University of Technology","ror":"https://ror.org/023hj5876","country_code":"CN","type":"education","lineage":["https://openalex.org/I27357992"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Deyun Lv","raw_affiliation_strings":["Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province, Dalian, China","School of Software Technology, Dalian University of Technology, Dalian, China","School of Software Technology, Dalian University of Technology, Dalian, China Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province, Dalian, China"],"affiliations":[{"raw_affiliation_string":"Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province, Dalian, China","institution_ids":[]},{"raw_affiliation_string":"School of Software Technology, Dalian University of Technology, Dalian, China","institution_ids":["https://openalex.org/I27357992"]},{"raw_affiliation_string":"School of Software Technology, Dalian University of Technology, Dalian, China Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province, Dalian, China","institution_ids":["https://openalex.org/I27357992"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016857240","display_name":"Tengxiang Cui","orcid":null},"institutions":[{"id":"https://openalex.org/I27357992","display_name":"Dalian University of Technology","ror":"https://ror.org/023hj5876","country_code":"CN","type":"education","lineage":["https://openalex.org/I27357992"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Tengxiang Cui","raw_affiliation_strings":["Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province, Dalian, China","School of Software Technology, Dalian University of Technology, Dalian, China","School of Software Technology, Dalian University of Technology, Dalian, China Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province, Dalian, China"],"affiliations":[{"raw_affiliation_string":"Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province, Dalian, China","institution_ids":[]},{"raw_affiliation_string":"School of Software Technology, Dalian University of Technology, Dalian, China","institution_ids":["https://openalex.org/I27357992"]},{"raw_affiliation_string":"School of Software Technology, Dalian University of Technology, Dalian, China Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province, Dalian, China","institution_ids":["https://openalex.org/I27357992"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101745834","display_name":"Gang Hou","orcid":"https://orcid.org/0000-0003-0087-6451"},"institutions":[{"id":"https://openalex.org/I27357992","display_name":"Dalian University of Technology","ror":"https://ror.org/023hj5876","country_code":"CN","type":"education","lineage":["https://openalex.org/I27357992"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Gang Hou","raw_affiliation_strings":["Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province, Dalian, China","School of Software Technology, Dalian University of Technology, Dalian, China","School of Software Technology, Dalian University of Technology, Dalian, China Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province, Dalian, China"],"affiliations":[{"raw_affiliation_string":"Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province, Dalian, China","institution_ids":[]},{"raw_affiliation_string":"School of Software Technology, Dalian University of Technology, Dalian, China","institution_ids":["https://openalex.org/I27357992"]},{"raw_affiliation_string":"School of Software Technology, Dalian University of Technology, Dalian, China Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province, Dalian, China","institution_ids":["https://openalex.org/I27357992"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100635577","display_name":"Masahiko Watanabe","orcid":"https://orcid.org/0000-0001-5801-7559"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Masahiko Watanabe","raw_affiliation_strings":["NTT DATA Automobiligence Research Center, Yokohama, Japan"],"affiliations":[{"raw_affiliation_string":"NTT DATA Automobiligence Research Center, Yokohama, Japan","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101927122","display_name":"Weiqiang Kong","orcid":"https://orcid.org/0000-0003-4338-5927"},"institutions":[{"id":"https://openalex.org/I27357992","display_name":"Dalian University of Technology","ror":"https://ror.org/023hj5876","country_code":"CN","type":"education","lineage":["https://openalex.org/I27357992"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Weiqiang Kong","raw_affiliation_strings":["Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province, Dalian, China","School of Software Technology, Dalian University of Technology, Dalian, China","School of Software Technology, Dalian University of Technology, Dalian, China Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province, Dalian, China"],"affiliations":[{"raw_affiliation_string":"Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province, Dalian, China","institution_ids":[]},{"raw_affiliation_string":"School of Software Technology, Dalian University of Technology, Dalian, China","institution_ids":["https://openalex.org/I27357992"]},{"raw_affiliation_string":"School of Software Technology, Dalian University of Technology, Dalian, China Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province, Dalian, China","institution_ids":["https://openalex.org/I27357992"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5085449426"],"corresponding_institution_ids":["https://openalex.org/I27357992"],"apc_list":null,"apc_paid":null,"fwci":0.9518,"has_fulltext":true,"cited_by_count":9,"citation_normalized_percentile":{"value":0.79442345,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"33","issue":"3","first_page":"325","last_page":"341"},"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.9997000098228455,"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.9997000098228455,"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.9891999959945679,"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/T10645","display_name":"Cardiac Arrest and Resuscitation","score":0.9731000065803528,"subfield":{"id":"https://openalex.org/subfields/2711","display_name":"Emergency Medicine"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/self-driving","display_name":"Self driving","score":0.6845433712005615},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6645238995552063},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.5561738014221191},{"id":"https://openalex.org/keywords/adversarial-system","display_name":"Adversarial system","score":0.5254396796226501},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4597265124320984},{"id":"https://openalex.org/keywords/deep-neural-networks","display_name":"Deep neural networks","score":0.4441889524459839},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.18562522530555725},{"id":"https://openalex.org/keywords/automotive-engineering","display_name":"Automotive engineering","score":0.1684453785419464}],"concepts":[{"id":"https://openalex.org/C3018391801","wikidata":"https://www.wikidata.org/wiki/Q741490","display_name":"Self driving","level":2,"score":0.6845433712005615},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6645238995552063},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.5561738014221191},{"id":"https://openalex.org/C37736160","wikidata":"https://www.wikidata.org/wiki/Q1801315","display_name":"Adversarial system","level":2,"score":0.5254396796226501},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4597265124320984},{"id":"https://openalex.org/C2984842247","wikidata":"https://www.wikidata.org/wiki/Q197536","display_name":"Deep neural networks","level":3,"score":0.4441889524459839},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.18562522530555725},{"id":"https://openalex.org/C171146098","wikidata":"https://www.wikidata.org/wiki/Q124192","display_name":"Automotive engineering","level":1,"score":0.1684453785419464}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s00165-021-00539-2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-021-00539-2","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-021-00539-2","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1007/s00165-021-00539-2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-021-00539-2","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-021-00539-2","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.6700000166893005,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G2013114695","display_name":null,"funder_award_id":"DUT20TD107","funder_id":"https://openalex.org/F4320335787","funder_display_name":"Fundamental Research Funds for the Central Universities"}],"funders":[{"id":"https://openalex.org/F4320335787","display_name":"Fundamental Research Funds for the Central Universities","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3135584977.pdf","grobid_xml":"https://content.openalex.org/works/W3135584977.grobid-xml"},"referenced_works_count":33,"referenced_works":["https://openalex.org/W1486132939","https://openalex.org/W1665214252","https://openalex.org/W2021667711","https://openalex.org/W2078483536","https://openalex.org/W2110798204","https://openalex.org/W2146096861","https://openalex.org/W2151967815","https://openalex.org/W2233387800","https://openalex.org/W2274565976","https://openalex.org/W2285788670","https://openalex.org/W2342840547","https://openalex.org/W2525936901","https://openalex.org/W2543296129","https://openalex.org/W2557283755","https://openalex.org/W2594877703","https://openalex.org/W2603766943","https://openalex.org/W2616028256","https://openalex.org/W2740234467","https://openalex.org/W2749747771","https://openalex.org/W2750137608","https://openalex.org/W2751537745","https://openalex.org/W2809947384","https://openalex.org/W2888307014","https://openalex.org/W2904076963","https://openalex.org/W2946590894","https://openalex.org/W2963327228","https://openalex.org/W2963739340","https://openalex.org/W2990512448","https://openalex.org/W3003768009","https://openalex.org/W3008797115","https://openalex.org/W3024865327","https://openalex.org/W3116942665","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2950183588","https://openalex.org/W3080754722","https://openalex.org/W4383221314","https://openalex.org/W3093978547","https://openalex.org/W2953536436","https://openalex.org/W3203790781","https://openalex.org/W2997056298","https://openalex.org/W4313346231","https://openalex.org/W2738001131","https://openalex.org/W4285785480"],"abstract_inverted_index":{"Abstract":[0],"Self-driving":[1],"cars":[2,31,41],"over":[3],"the":[4,105,128,182,200,208],"last":[5],"decade":[6],"have":[7,42,48],"achieved":[8],"significant":[9],"progress":[10],"like":[11],"driving":[12],"millions":[13],"of":[14,46,88,108,116],"miles":[15],"without":[16],"any":[17],"human":[18],"intervention.":[19],"However,":[20],"behavioral":[21],"safety":[22,67,87,119,168],"in":[23,138,179],"applying":[24],"deep-neural-network-based":[25],"(DNN":[26],"based)":[27],"systems":[28],"for":[29,63,68,86,120,175],"self-driving":[30,40,69,121,131,141],"could":[32],"not":[33],"be":[34,185,188,204],"guaranteed.":[35],"Several":[36],"real-world":[37],"accidents":[38],"involving":[39],"already":[43],"happened,":[44],"some":[45],"which":[47,80,133,180,198],"led":[49],"to":[50,103,113,187,206],"fatal":[51],"collisions.":[52],"In":[53],"this":[54],"paper,":[55],"we":[56,165],"present":[57],"a":[58,135],"novel":[59],"and":[60,100,111],"automated":[61,83],"technique":[62,72,126,148],"verifying":[64],"steering":[65,117,156,193],"angle":[66,118],"cars.":[70,122,142],"The":[71],"is":[73,81,134,173],"based":[74],"on":[75,127],"deep":[76],"learning":[77],"verification":[78,84,115,169],"(DLV),":[79],"an":[82],"framework":[85],"image":[89],"classification":[90],"neural":[91],"networks.":[92],"We":[93,123],"extend":[94],"DLV":[95],"by":[96],"leveraging":[97],"neuron":[98],"coverage":[99],"slack":[101],"relationship":[102],"solve":[104],"judgement":[106],"problem":[107],"predicted":[109],"behaviors,":[110],"thus,":[112],"achieve":[114,167],"evaluate":[124],"our":[125,147],"NVIDIA\u2019s":[129],"end-to-end":[130],"architecture,":[132],"crucial":[136],"ingredient":[137],"many":[139],"modern":[140],"Experimental":[143],"results":[144],"show":[145],"that":[146],"can":[149,166,184,203],"successfully":[150],"find":[151],"adversarial":[152,201],"misclassifications":[153],"(i.e.,":[154],"incorrect":[155],"decisions)":[157,194],"within":[158],"given":[159],"regions":[160],"if":[161],"they":[162],"exist.":[163],"Therefore,":[164],"(if":[170],"no":[171],"misclassification":[172],"found":[174],"all":[176],"DNN":[177],"layers,":[178],"case":[181,199],"network":[183],"said":[186],"stable":[189],"or":[190,195],"reliable":[191],"w.r.t.":[192],"falsification":[196],"(in":[197],"examples":[202],"used":[205],"fine-tune":[207],"network).":[209]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}