{"id":"https://openalex.org/W3118560795","doi":"https://doi.org/10.1109/iv47402.2020.9304710","title":"Safety Verification of a Data-driven Adaptive Cruise Controller","display_name":"Safety Verification of a Data-driven Adaptive Cruise Controller","publication_year":2020,"publication_date":"2020-10-19","ids":{"openalex":"https://openalex.org/W3118560795","doi":"https://doi.org/10.1109/iv47402.2020.9304710","mag":"3118560795"},"language":"en","primary_location":{"id":"doi:10.1109/iv47402.2020.9304710","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iv47402.2020.9304710","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 IEEE Intelligent Vehicles Symposium (IV)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5103249328","display_name":"Qin Lin","orcid":"https://orcid.org/0000-0002-5703-9112"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Qin Lin","raw_affiliation_strings":["Robotics Institute, Carnegie Mellon University, Pittsburgh, PA, USA"],"affiliations":[{"raw_affiliation_string":"Robotics Institute, Carnegie Mellon University, Pittsburgh, PA, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062870071","display_name":"Sicco Verwer","orcid":"https://orcid.org/0000-0002-3682-0962"},"institutions":[{"id":"https://openalex.org/I98358874","display_name":"Delft University of Technology","ror":"https://ror.org/02e2c7k09","country_code":"NL","type":"education","lineage":["https://openalex.org/I98358874"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Sicco Verwer","raw_affiliation_strings":["Delft University of Technology, Delft, the Netherlands"],"affiliations":[{"raw_affiliation_string":"Delft University of Technology, Delft, the Netherlands","institution_ids":["https://openalex.org/I98358874"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5015076162","display_name":"John M. Dolan","orcid":"https://orcid.org/0000-0003-2062-100X"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"John Dolan","raw_affiliation_strings":["Robotics Institute, Carnegie Mellon University, Pittsburgh, PA, USA"],"affiliations":[{"raw_affiliation_string":"Robotics Institute, Carnegie Mellon University, Pittsburgh, PA, USA","institution_ids":["https://openalex.org/I74973139"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5103249328"],"corresponding_institution_ids":["https://openalex.org/I74973139"],"apc_list":null,"apc_paid":null,"fwci":0.7036,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.77304452,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"2146","last_page":"2151"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9983000159263611,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9983000159263611,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.9878000020980835,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9872999787330627,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/cruise-control","display_name":"Cruise control","score":0.8192793726921082},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7519707679748535},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.6674097776412964},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.6533684134483337},{"id":"https://openalex.org/keywords/headway","display_name":"Headway","score":0.6104307770729065},{"id":"https://openalex.org/keywords/cooperative-adaptive-cruise-control","display_name":"Cooperative Adaptive Cruise Control","score":0.5890615582466125},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.494007408618927},{"id":"https://openalex.org/keywords/cruise","display_name":"Cruise","score":0.48884743452072144},{"id":"https://openalex.org/keywords/collision","display_name":"Collision","score":0.4875123202800751},{"id":"https://openalex.org/keywords/intelligent-transportation-system","display_name":"Intelligent transportation system","score":0.4192085862159729},{"id":"https://openalex.org/keywords/hybrid-automaton","display_name":"Hybrid automaton","score":0.41640540957450867},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.4064056873321533},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.304571270942688},{"id":"https://openalex.org/keywords/simulation","display_name":"Simulation","score":0.2203955352306366},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.22004589438438416},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.12036940455436707},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.10047581791877747}],"concepts":[{"id":"https://openalex.org/C113168747","wikidata":"https://www.wikidata.org/wiki/Q507295","display_name":"Cruise control","level":3,"score":0.8192793726921082},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7519707679748535},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.6674097776412964},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.6533684134483337},{"id":"https://openalex.org/C2779240695","wikidata":"https://www.wikidata.org/wiki/Q4383682","display_name":"Headway","level":2,"score":0.6104307770729065},{"id":"https://openalex.org/C2780150632","wikidata":"https://www.wikidata.org/wiki/Q5167872","display_name":"Cooperative Adaptive Cruise Control","level":4,"score":0.5890615582466125},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.494007408618927},{"id":"https://openalex.org/C2778821358","wikidata":"https://www.wikidata.org/wiki/Q2063640","display_name":"Cruise","level":2,"score":0.48884743452072144},{"id":"https://openalex.org/C121704057","wikidata":"https://www.wikidata.org/wiki/Q352070","display_name":"Collision","level":2,"score":0.4875123202800751},{"id":"https://openalex.org/C47796450","wikidata":"https://www.wikidata.org/wiki/Q508378","display_name":"Intelligent transportation system","level":2,"score":0.4192085862159729},{"id":"https://openalex.org/C2776028153","wikidata":"https://www.wikidata.org/wiki/Q5953179","display_name":"Hybrid automaton","level":3,"score":0.41640540957450867},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.4064056873321533},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.304571270942688},{"id":"https://openalex.org/C44154836","wikidata":"https://www.wikidata.org/wiki/Q45045","display_name":"Simulation","level":1,"score":0.2203955352306366},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.22004589438438416},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.12036940455436707},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.10047581791877747},{"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/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0},{"id":"https://openalex.org/C147176958","wikidata":"https://www.wikidata.org/wiki/Q77590","display_name":"Civil engineering","level":1,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iv47402.2020.9304710","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iv47402.2020.9304710","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 IEEE Intelligent Vehicles Symposium (IV)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4895191527","display_name":null,"funder_award_id":"FA8750-18-C-0092","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G560236081","display_name":null,"funder_award_id":"62001628","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G8460986382","display_name":null,"funder_award_id":"13136","funder_id":"https://openalex.org/F4320334893","funder_display_name":"Stichting voor de Technische Wetenschappen"}],"funders":[{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320332467","display_name":"U.S. Air Force","ror":"https://ror.org/006gmme17"},{"id":"https://openalex.org/F4320334893","display_name":"Stichting voor de Technische Wetenschappen","ror":"https://ror.org/057tq3593"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W172589331","https://openalex.org/W1522694098","https://openalex.org/W1585526574","https://openalex.org/W2060095702","https://openalex.org/W2088607916","https://openalex.org/W2115796899","https://openalex.org/W2131131861","https://openalex.org/W2145025534","https://openalex.org/W2165276844","https://openalex.org/W2176215692","https://openalex.org/W2342840547","https://openalex.org/W2532132802","https://openalex.org/W2765813058","https://openalex.org/W2805499321","https://openalex.org/W2808545847","https://openalex.org/W2955364893","https://openalex.org/W2963314509","https://openalex.org/W2964130946","https://openalex.org/W4236306094","https://openalex.org/W6681561784"],"related_works":["https://openalex.org/W1037048640","https://openalex.org/W1598459522","https://openalex.org/W568651885","https://openalex.org/W4239082859","https://openalex.org/W3033637789","https://openalex.org/W2810760421","https://openalex.org/W2726547071","https://openalex.org/W4287766082","https://openalex.org/W3207577175","https://openalex.org/W2096310934"],"abstract_inverted_index":{"Imitation":[0],"learning":[1,48],"provides":[2],"a":[3,8,42,49,107,116,124,135],"way":[4],"to":[5,27,38,91],"automatically":[6],"construct":[7],"controller":[9,54,110,143],"by":[10,101],"mimicking":[11],"human":[12,127],"behavior":[13],"from":[14,31],"data.":[15],"For":[16],"safety-critical":[17],"systems":[18],"such":[19],"as":[20,84],"autonomous":[21],"vehicles,":[22],"it":[23,66],"can":[24],"be":[25,36,39],"problematic":[26],"use":[28],"controllers":[29],"learned":[30],"data":[32],"because":[33],"they":[34],"cannot":[35],"guaranteed":[37],"collision-free.":[40,113],"Recently,":[41],"method":[43],"has":[44],"been":[45],"proposed":[46],"for":[47,68],"multi-mode":[50],"hybrid":[51,81],"automaton":[52,94],"cruise":[53,138,149],"(MOHA).":[55],"Besides":[56],"being":[57],"accurate,":[58],"the":[59,79,93,141],"logical":[60],"nature":[61],"of":[62],"this":[63,72,76],"model":[64,82,95],"makes":[65],"suitable":[67],"formal":[69],"verification.":[70],"In":[71],"paper,":[73],"we":[74,132],"demonstrate":[75],"capability":[77],"using":[78],"SpaceEx":[80],"checker":[83],"follows.":[85],"We":[86,103],"develop":[87],"an":[88],"automated":[89],"tool":[90],"translate":[92],"into":[96],"constraints":[97],"and":[98],"equations":[99],"required":[100],"SpaceEx.":[102],"then":[104],"verify":[105],"that":[106,126],"pure":[108],"MOHA":[109],"is":[111],"not":[112],"By":[114],"adding":[115],"safety":[117],"state":[118],"based":[119],"on":[120],"headway":[121],"in":[122],"time,":[123],"rule":[125],"drivers":[128],"should":[129],"follow":[130],"anyway,":[131],"do":[133],"obtain":[134],"provably":[136],"safe":[137,142],"control.":[139],"Moreover,":[140],"remains":[144],"more":[145],"humanlike":[146],"than":[147],"existing":[148],"controllers.":[150]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":3},{"year":2020,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}