{"id":"https://openalex.org/W7125983608","doi":"https://doi.org/10.1109/smc58881.2025.11342915","title":"A Personalized Lane-Change Safety Verification Framework Based on Driving Style and Formal Modeling","display_name":"A Personalized Lane-Change Safety Verification Framework Based on Driving Style and Formal Modeling","publication_year":2025,"publication_date":"2025-10-05","ids":{"openalex":"https://openalex.org/W7125983608","doi":"https://doi.org/10.1109/smc58881.2025.11342915"},"language":null,"primary_location":{"id":"doi:10.1109/smc58881.2025.11342915","is_oa":false,"landing_page_url":"https://doi.org/10.1109/smc58881.2025.11342915","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE International Conference on Systems, Man, and Cybernetics (SMC)","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/A5100757553","display_name":"Xin Wang","orcid":"https://orcid.org/0000-0001-9448-7689"},"institutions":[{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]},{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Xin Wang","raw_affiliation_strings":["East China Normal University,Shanghai Key Laboratory of Trustworthy Computing,Shanghai,China"],"affiliations":[{"raw_affiliation_string":"East China Normal University,Shanghai Key Laboratory of Trustworthy Computing,Shanghai,China","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5124116236","display_name":"Letian Fang","orcid":null},"institutions":[{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]},{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Letian Fang","raw_affiliation_strings":["East China Normal University,Shanghai Key Laboratory of Trustworthy Computing,Shanghai,China"],"affiliations":[{"raw_affiliation_string":"East China Normal University,Shanghai Key Laboratory of Trustworthy Computing,Shanghai,China","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062450501","display_name":"J. Ping Liu","orcid":"https://orcid.org/0000-0003-4009-9159"},"institutions":[{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]},{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jing Liu","raw_affiliation_strings":["East China Normal University,Shanghai Key Laboratory of Trustworthy Computing,Shanghai,China"],"affiliations":[{"raw_affiliation_string":"East China Normal University,Shanghai Key Laboratory of Trustworthy Computing,Shanghai,China","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5124122271","display_name":"Rongbin Hou","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Rongbin Hou","raw_affiliation_strings":["Nuclear Power Institute of China,Chengdu,China"],"affiliations":[{"raw_affiliation_string":"Nuclear Power Institute of China,Chengdu,China","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5100757553"],"corresponding_institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.61669778,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"5349","last_page":"5354"},"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.9437999725341797,"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.9437999725341797,"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/T10805","display_name":"Vehicle Dynamics and Control Systems","score":0.01360000018030405,"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/T10142","display_name":"Formal Methods in Verification","score":0.00800000037997961,"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/modular-design","display_name":"Modular design","score":0.652999997138977},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.5604000091552734},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5579000115394592},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.5554999709129333},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.47620001435279846},{"id":"https://openalex.org/keywords/feature","display_name":"Feature (linguistics)","score":0.4372999966144562},{"id":"https://openalex.org/keywords/trajectory","display_name":"Trajectory","score":0.42089998722076416},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.3804999887943268}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7590000033378601},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.652999997138977},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.5604000091552734},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5579000115394592},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.5554999709129333},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.47620001435279846},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.4372999966144562},{"id":"https://openalex.org/C13662910","wikidata":"https://www.wikidata.org/wiki/Q193139","display_name":"Trajectory","level":2,"score":0.42089998722076416},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.414000004529953},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.41040000319480896},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.3804999887943268},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.36390000581741333},{"id":"https://openalex.org/C132835097","wikidata":"https://www.wikidata.org/wiki/Q7663745","display_name":"System safety","level":2,"score":0.35530000925064087},{"id":"https://openalex.org/C73555534","wikidata":"https://www.wikidata.org/wiki/Q622825","display_name":"Cluster analysis","level":2,"score":0.3495999872684479},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3303999900817871},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.32120001316070557},{"id":"https://openalex.org/C127757376","wikidata":"https://www.wikidata.org/wiki/Q2056514","display_name":"Active safety","level":2,"score":0.31790000200271606},{"id":"https://openalex.org/C87833898","wikidata":"https://www.wikidata.org/wiki/Q1060280","display_name":"Advanced driver assistance systems","level":2,"score":0.31310001015663147},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.3093000054359436},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.2928999960422516},{"id":"https://openalex.org/C79487989","wikidata":"https://www.wikidata.org/wiki/Q934680","display_name":"Vehicle dynamics","level":2,"score":0.288100004196167},{"id":"https://openalex.org/C2779925283","wikidata":"https://www.wikidata.org/wiki/Q5216147","display_name":"Dangerous driving","level":2,"score":0.2678999900817871},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.25949999690055847},{"id":"https://openalex.org/C33724603","wikidata":"https://www.wikidata.org/wiki/Q812540","display_name":"Bayesian network","level":2,"score":0.25440001487731934}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/smc58881.2025.11342915","is_oa":false,"landing_page_url":"https://doi.org/10.1109/smc58881.2025.11342915","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE International Conference on Systems, Man, and Cybernetics (SMC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.7739300727844238,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W1983738939","https://openalex.org/W1987302132","https://openalex.org/W1987971958","https://openalex.org/W2011931151","https://openalex.org/W2015463731","https://openalex.org/W2026373309","https://openalex.org/W2051224630","https://openalex.org/W2056877664","https://openalex.org/W2073177254","https://openalex.org/W2091707830","https://openalex.org/W2113586398","https://openalex.org/W2149748474","https://openalex.org/W2150724439","https://openalex.org/W2166423024","https://openalex.org/W2613264524","https://openalex.org/W2765115394","https://openalex.org/W2792648232","https://openalex.org/W2914705969","https://openalex.org/W2947106284","https://openalex.org/W2988773531","https://openalex.org/W3017184636","https://openalex.org/W3036695864","https://openalex.org/W3097874537","https://openalex.org/W3111364346","https://openalex.org/W3131341296","https://openalex.org/W3216996634","https://openalex.org/W4232586413","https://openalex.org/W4295864671","https://openalex.org/W4367598552","https://openalex.org/W4392745427","https://openalex.org/W4402308327"],"related_works":[],"abstract_inverted_index":{"Ensuring":[0],"the":[1,15,120,135,139,157,164],"safety":[2,104,108,122,144],"of":[3,91,123,159,166],"lane-change":[4,47,121,132],"maneuvers":[5,125],"remains":[6],"a":[7,45,64,88,113,172],"critical":[8],"challenge":[9],"in":[10,17,33],"autonomous":[11,182],"driving,":[12],"especially":[13],"given":[14],"variability":[16],"individual":[18,124],"driving":[19,54,77,99,148],"behaviors.":[20],"However,":[21],"most":[22],"existing":[23],"decision-making":[24],"models":[25,180],"fail":[26],"to":[27,73,96,142,177],"account":[28],"for":[29,181],"driver":[30],"heterogeneity,":[31],"resulting":[32],"overly":[34],"generalized":[35],"and":[36,69,80,101,174],"potentially":[37],"unsafe":[38,160],"strategies.":[39],"In":[40],"this":[41],"paper,":[42],"we":[43,111],"propose":[44,63,112],"personalized":[46],"risk":[48,158,179],"verification":[49,116],"framework":[50],"that":[51,152],"integrates":[52],"unsupervised":[53],"style":[55],"classification":[56],"with":[57],"formal":[58],"stochastic":[59],"modeling.":[60,168],"We":[61,85],"first":[62],"volatility-based":[65],"feature":[66],"extraction":[67],"method":[68],"employ":[70],"k-means++":[71],"clustering":[72],"identify":[74],"three":[75],"representative":[76],"styles\u2014aggressive,":[78],"normal,":[79],"conservative\u2014from":[81],"naturalistic":[82],"trajectory":[83],"data.":[84],"then":[86],"construct":[87],"modular":[89],"Network":[90],"Stochastic":[92],"Timed":[93],"Automata":[94],"(NSTA)":[95],"represent":[97],"individualized":[98],"dynamics":[100],"enforce":[102],"TTC-based":[103],"constraints,":[105],"enabling":[106],"probabilistic":[107],"verification.":[109],"Finally,":[110],"data-driven":[114],"runtime":[115],"pipeline,":[117],"which":[118],"evaluates":[119],"using":[126],"real-world":[127],"inputs.":[128],"Experiments":[129],"on":[130],"205":[131],"cases":[133],"from":[134],"highD":[136],"dataset":[137],"demonstrate":[138],"framework\u2019s":[140],"ability":[141],"quantify":[143],"probabilities":[145],"across":[146],"different":[147],"styles.":[149],"Results":[150],"show":[151],"aggressive":[153],"behaviors":[154],"significantly":[155],"increase":[156],"lane":[161],"changes,":[162],"underscoring":[163],"importance":[165],"behavior-aware":[167],"This":[169],"work":[170],"provides":[171],"structured":[173],"interpretable":[175],"alternative":[176],"black-box":[178],"vehicle":[183],"decision-making.":[184]},"counts_by_year":[],"updated_date":"2026-01-29T23:17:01.242718","created_date":"2026-01-29T00:00:00"}