{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,4]],"date-time":"2026-08-04T23:52:29Z","timestamp":1785887549482,"version":"3.56.0"},"reference-count":24,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2026,12,1]],"date-time":"2026-12-01T00:00:00Z","timestamp":1796083200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2026,12,1]],"date-time":"2026-12-01T00:00:00Z","timestamp":1796083200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2026,12,1]],"date-time":"2026-12-01T00:00:00Z","timestamp":1796083200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-017"},{"start":{"date-parts":[[2026,12,1]],"date-time":"2026-12-01T00:00:00Z","timestamp":1796083200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"},{"start":{"date-parts":[[2026,12,1]],"date-time":"2026-12-01T00:00:00Z","timestamp":1796083200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-012"},{"start":{"date-parts":[[2026,12,1]],"date-time":"2026-12-01T00:00:00Z","timestamp":1796083200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,12,1]],"date-time":"2026-12-01T00:00:00Z","timestamp":1796083200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-004"}],"funder":[{"DOI":"10.13039\/501100012166","name":"National Key Research and Development Program of China","doi-asserted-by":"publisher","award":["2024YFB4505702"],"award-info":[{"award-number":["2024YFB4505702"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100017610","name":"Shenzhen Science and Technology Innovation Program","doi-asserted-by":"publisher","award":["RCJC20221008092725019"],"award-info":[{"award-number":["RCJC20221008092725019"]}],"id":[{"id":"10.13039\/501100017610","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62272322"],"award-info":[{"award-number":["62272322"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["U23B2040"],"award-info":[{"award-number":["U23B2040"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Future Generation Computer Systems"],"published-print":{"date-parts":[[2026,12]]},"DOI":"10.1016\/j.future.2026.108645","type":"journal-article","created":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T16:19:29Z","timestamp":1781021969000},"page":"108645","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["The design and formal verification of a merging protocol for autonomous vehicles"],"prefix":"10.1016","volume":"185","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9848-7042","authenticated-orcid":false,"given":"Rui","family":"Wang","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-5679-6189","authenticated-orcid":false,"given":"Tengfei","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fang","family":"Qi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yixiao","family":"Yang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2373-2779","authenticated-orcid":false,"given":"Yong","family":"Guan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5773-3817","authenticated-orcid":false,"given":"Yi","family":"Wang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xiaoyu","family":"Song","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"78","reference":[{"key":"10.1016\/j.future.2026.108645_b1","unstructured":"Xiaohua Li, Development status, challenges and responses to autonomous driving (18) (2023) 68\u201372."},{"key":"10.1016\/j.future.2026.108645_b2","doi-asserted-by":"crossref","DOI":"10.1016\/j.eswa.2020.113816","article-title":"Self-driving cars: A survey","volume":"165","author":"Badue","year":"2021","journal-title":"Expert Syst. Appl."},{"issue":"2","key":"10.1016\/j.future.2026.108645_b3","doi-asserted-by":"crossref","first-page":"1275","DOI":"10.1109\/COMST.2018.2869360","article-title":"Autonomous cars: Research results, issues, and future challenges","volume":"21","author":"Hussain","year":"2019","journal-title":"IEEE Commun. Surv. & Tutorials"},{"issue":"14","key":"10.1016\/j.future.2026.108645_b4","doi-asserted-by":"crossref","DOI":"10.3390\/electronics11142162","article-title":"A review on autonomous vehicles: Progress, methods and challenges","volume":"11","author":"Parekh","year":"2022","journal-title":"Electronics"},{"key":"10.1016\/j.future.2026.108645_b5","series-title":"Pre-crash scenario typology for crash avoidance research","author":"Najm","year":"2007"},{"key":"10.1016\/j.future.2026.108645_b6","series-title":"Principles of model checking","author":"Baier","year":"2008"},{"key":"10.1016\/j.future.2026.108645_b7","series-title":"IEEE International Conference on Networking, Sensing and Control, 2004","first-page":"287","article-title":"Adaptive traffic signal control with iterative genetic fuzzy logic controller (GFLC)","volume":"Vol. 1","author":"Chiou","year":"2004"},{"key":"10.1016\/j.future.2026.108645_b8","doi-asserted-by":"crossref","unstructured":"Shunsuke Aoki, Ragunathan Rajkumar, A Merging Protocol for Self-Driving Vehicles, in: 2017 ACM\/IEEE 8th International Conference on Cyber-Physical Systems, ICCPS, 2017, pp. 219\u2013228.","DOI":"10.1145\/3055004.3055028"},{"key":"10.1016\/j.future.2026.108645_b9","series-title":"2012 Fifth International Joint Conference on Computational Sciences and Optimization","first-page":"514","article-title":"Optimizing traffic flow on highway with three consecutive on-ramps","author":"Lan","year":"2012"},{"key":"10.1016\/j.future.2026.108645_b10","first-page":"90","article-title":"Real-time route diversion control at congested freeway off-ramp areas","volume":"107","author":"Spiliopoulou","year":"2018","journal-title":"Transp. Res. Part A: Policy Pr."},{"issue":"4","key":"10.1016\/j.future.2026.108645_b11","first-page":"9","article-title":"Cooperative control method of freeway off-ramp intersection and downstream intersection under congestion conditions","volume":"38","author":"Xu","year":"2019","journal-title":"J. ChongQing Jiaotong Univ. (Natural Science)"},{"key":"10.1016\/j.future.2026.108645_b12","series-title":"2024 IEEE International Conference on Systems, Man, and Cybernetics","first-page":"2838","article-title":"Deep reinforcement learning-based strategies for truck platooning at highway on-ramps","author":"Wang","year":"2024"},{"issue":"1","key":"10.1016\/j.future.2026.108645_b13","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1016\/j.trc.2004.12.003","article-title":"Modelling vehicle interactions in microscopic simulation of merging and weaving","volume":"13","author":"Hidas","year":"2005","journal-title":"Transp. Res. Part C: Emerg. Technol."},{"issue":"6","key":"10.1016\/j.future.2026.108645_b14","doi-asserted-by":"crossref","first-page":"459","DOI":"10.1016\/0307-904X(95)00165-G","article-title":"Modelling of freeway merging and diverging flow dynamics","volume":"20","author":"Liu","year":"1996","journal-title":"Appl. Math. Model."},{"key":"10.1016\/j.future.2026.108645_b15","first-page":"284","article-title":"Traffic impact analysis of lanes width on on-ramp merging area of expressway","volume":"2","author":"Song","year":"2015","journal-title":"J. Wuhan Univ. Technol. (Transportation Sci. & Engineering)"},{"issue":"3","key":"10.1016\/j.future.2026.108645_b16","doi-asserted-by":"crossref","first-page":"2920","DOI":"10.1109\/TITS.2022.3224592","article-title":"Safety-critical and flexible cooperative on-ramp merging control of connected and automated vehicles in mixed traffic","volume":"24","author":"Liu","year":"2023","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"key":"10.1016\/j.future.2026.108645_b17","series-title":"2024 12th International Conference on Traffic and Logistic Engineering","first-page":"93","article-title":"Spatio-temporal cooperative control method of highway ramp merge based on vehicle-road coordination","author":"Xu","year":"2024"},{"issue":"4","key":"10.1016\/j.future.2026.108645_b18","doi-asserted-by":"crossref","DOI":"10.1145\/3609227","article-title":"A reliable wireless protocol for highway and metered-ramp CAV collaborative merging with constant-time-headway safety guarantee","volume":"7","author":"Fan","year":"2023","journal-title":"ACM Trans. Cyber-Physical Syst."},{"issue":"17","key":"10.1016\/j.future.2026.108645_b19","doi-asserted-by":"crossref","first-page":"7952","DOI":"10.3390\/su17177952","article-title":"Cloud-based cooperative merging control with communication delay compensation for connected and automated vehicles","volume":"17","author":"Yang","year":"2025","journal-title":"Sustainability"},{"key":"10.1016\/j.future.2026.108645_b20","article-title":"Evaluation of collaborative merging methods for connected vehicle using spatio-temporal grid reservation","author":"Umeda","year":"2026","journal-title":"Int. J. Intell. Transp. Syst. Res."},{"key":"10.1016\/j.future.2026.108645_b21","doi-asserted-by":"crossref","DOI":"10.1016\/j.engappai.2025.110584","article-title":"A dual-module cooperative control method for on-ramp area in heterogeneous traffic flow using reinforcement learning","volume":"150","author":"Yang","year":"2025","journal-title":"Eng. Appl. Artif. Intell."},{"key":"10.1016\/j.future.2026.108645_b22","article-title":"Consistency in parametric interval probabilistic timed automata","volume":"110","author":"Andr\u00e9","year":"2020","journal-title":"J. Log. Algebraic Methods Program."},{"key":"10.1016\/j.future.2026.108645_b23","series-title":"2023 IEEE International Conference on Software Testing, Verification and Validation Workshops","first-page":"186","article-title":"Test generation and mutation analysis of energy consumption using UPPAAL SMC and MATS","author":"Larsson","year":"2023"},{"key":"10.1016\/j.future.2026.108645_b24","article-title":"Faster verification of V2X basic safety messages via message chaining","volume":"44","author":"Cominetti","year":"2023","journal-title":"Veh. Commun."}],"container-title":["Future Generation Computer Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167739X26002797?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167739X26002797?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,8,4]],"date-time":"2026-08-04T23:22:39Z","timestamp":1785885759000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0167739X26002797"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,12]]},"references-count":24,"alternative-id":["S0167739X26002797"],"URL":"https:\/\/doi.org\/10.1016\/j.future.2026.108645","relation":{},"ISSN":["0167-739X"],"issn-type":[{"value":"0167-739X","type":"print"}],"subject":[],"published":{"date-parts":[[2026,12]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"The design and formal verification of a merging protocol for autonomous vehicles","name":"articletitle","label":"Article Title"},{"value":"Future Generation Computer Systems","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.future.2026.108645","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2026 Elsevier B.V. All rights are reserved, including those for text and data mining, AI training, and similar technologies.","name":"copyright","label":"Copyright"}],"article-number":"108645"}}