{"id":"https://openalex.org/W3046151753","doi":"https://doi.org/10.23919/acc45564.2020.9147410","title":"A Data-driven, Falsification-based Model of Human Driver Behavior","display_name":"A Data-driven, Falsification-based Model of Human Driver Behavior","publication_year":2020,"publication_date":"2020-07-01","ids":{"openalex":"https://openalex.org/W3046151753","doi":"https://doi.org/10.23919/acc45564.2020.9147410","mag":"3046151753"},"language":"en","primary_location":{"id":"doi:10.23919/acc45564.2020.9147410","is_oa":false,"landing_page_url":"https://doi.org/10.23919/acc45564.2020.9147410","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 American Control Conference (ACC)","raw_type":"proceedings-article"},"type":"preprint","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/A5022990761","display_name":"Nauman Sohani","orcid":null},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Nauman Sohani","raw_affiliation_strings":["University of Michigan, Ann Arbor, MI, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Michigan, Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045496743","display_name":"Geunseob GS Oh","orcid":null},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Geunseob GS Oh","raw_affiliation_strings":["University of Michigan, Ann Arbor, MI, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Michigan, Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100732335","display_name":"Xinpeng Wang","orcid":"https://orcid.org/0000-0001-8494-0494"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xinpeng Wang","raw_affiliation_strings":["University of Michigan, Ann Arbor, MI, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Michigan, Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I27837315"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.10905303,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"3892","last_page":"3899"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.980400025844574,"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.980400025844574,"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/T10799","display_name":"Data Visualization and Analytics","score":0.9769999980926514,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9739999771118164,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/intersection","display_name":"Intersection (aeronautics)","score":0.7723767757415771},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7029342651367188},{"id":"https://openalex.org/keywords/classifier","display_name":"Classifier (UML)","score":0.6054480075836182},{"id":"https://openalex.org/keywords/human-behavior","display_name":"Human behavior","score":0.6035375595092773},{"id":"https://openalex.org/keywords/parametric-statistics","display_name":"Parametric statistics","score":0.580305814743042},{"id":"https://openalex.org/keywords/boundary","display_name":"Boundary (topology)","score":0.4875630736351013},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.44696518778800964},{"id":"https://openalex.org/keywords/real-world-data","display_name":"Real world data","score":0.419950395822525},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.3484387993812561},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3429580330848694},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.20607981085777283},{"id":"https://openalex.org/keywords/transport-engineering","display_name":"Transport engineering","score":0.13569465279579163},{"id":"https://openalex.org/keywords/data-science","display_name":"Data science","score":0.1264202892780304},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.11183339357376099}],"concepts":[{"id":"https://openalex.org/C64543145","wikidata":"https://www.wikidata.org/wiki/Q162942","display_name":"Intersection (aeronautics)","level":2,"score":0.7723767757415771},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7029342651367188},{"id":"https://openalex.org/C95623464","wikidata":"https://www.wikidata.org/wiki/Q1096149","display_name":"Classifier (UML)","level":2,"score":0.6054480075836182},{"id":"https://openalex.org/C117035363","wikidata":"https://www.wikidata.org/wiki/Q3769299","display_name":"Human behavior","level":2,"score":0.6035375595092773},{"id":"https://openalex.org/C117251300","wikidata":"https://www.wikidata.org/wiki/Q1849855","display_name":"Parametric statistics","level":2,"score":0.580305814743042},{"id":"https://openalex.org/C62354387","wikidata":"https://www.wikidata.org/wiki/Q875399","display_name":"Boundary (topology)","level":2,"score":0.4875630736351013},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.44696518778800964},{"id":"https://openalex.org/C3020493868","wikidata":"https://www.wikidata.org/wiki/Q55631277","display_name":"Real world data","level":2,"score":0.419950395822525},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3484387993812561},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3429580330848694},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.20607981085777283},{"id":"https://openalex.org/C22212356","wikidata":"https://www.wikidata.org/wiki/Q775325","display_name":"Transport engineering","level":1,"score":0.13569465279579163},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.1264202892780304},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.11183339357376099},{"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/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.23919/acc45564.2020.9147410","is_oa":false,"landing_page_url":"https://doi.org/10.23919/acc45564.2020.9147410","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 American Control Conference (ACC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.75,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W1590868612","https://openalex.org/W1738124305","https://openalex.org/W1796872423","https://openalex.org/W1970019272","https://openalex.org/W2072016475","https://openalex.org/W2131399618","https://openalex.org/W2140466491","https://openalex.org/W2153803621","https://openalex.org/W2411577903","https://openalex.org/W2905515622","https://openalex.org/W2915031958","https://openalex.org/W2950769107","https://openalex.org/W2956034981","https://openalex.org/W3017664834","https://openalex.org/W3100743289","https://openalex.org/W3177507093","https://openalex.org/W6638231040","https://openalex.org/W6775855238","https://openalex.org/W6785670550"],"related_works":["https://openalex.org/W2348909947","https://openalex.org/W4292672442","https://openalex.org/W2362101859","https://openalex.org/W2791431590","https://openalex.org/W2941610985","https://openalex.org/W4235810826","https://openalex.org/W3000105423","https://openalex.org/W2350688482","https://openalex.org/W2122135111","https://openalex.org/W2053575972"],"abstract_inverted_index":{"We":[0,58],"propose":[1],"a":[2,18,50,60,100,117,121,125],"novel":[3],"framework":[4,113],"to":[5,31],"differentiate":[6],"between":[7],"vehicle":[8,123],"trajectories":[9],"originating":[10],"from":[11,71,87],"human":[12,104],"and":[13,37,55,75],"non-human":[14],"drivers":[15],"by":[16,83],"constructing":[17],"data-driven":[19],"boundary":[20,102],"using":[21,116],"parametric":[22],"signal":[23],"temporal":[24],"logic":[25],"(STL).":[26],"Such":[27],"construction":[28],"allows":[29,97],"us":[30],"evaluate":[32],"the":[33,39,47,88],"trajectories,":[34],"detect":[35],"rare-events,":[36],"reduce":[38],"uncertainty":[40],"of":[41,49,103],"driver":[42],"behaviors":[43,105],"when":[44],"it":[45],"assumes":[46],"form":[48],"disturbance":[51],"in":[52,94,107],"control":[53],"synthesis":[54],"evaluation":[56],"problems.":[57],"train":[59],"classifier":[61],"that":[62,80],"separates":[63],"admissible":[64],"(i.e.":[65,77],"human)":[66],"examples":[67,79],"-":[68,74],"which":[69],"arise":[70],"real-world":[72,90],"demonstrations":[73],"inadmissible":[76],"non-human)":[78],"are":[81],"generated":[82],"falsifying":[84],"specifications":[85],"synthesized":[86],"same":[89],"driving":[91,110],"data.":[92],"Proceeding":[93],"this":[95],"fashion":[96],"for":[98],"finding":[99],"reasonable":[101],"exhibited":[106],"real-":[108],"world":[109],"records.":[111],"The":[112],"is":[114],"demonstrated":[115],"case":[118],"study":[119],"involving":[120],"human-driven":[122],"approaching":[124],"signalized":[126],"intersection.":[127]},"counts_by_year":[],"updated_date":"2026-06-26T08:34:08.712188","created_date":"2025-10-10T00:00:00"}