{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,6]],"date-time":"2026-06-06T20:59:26Z","timestamp":1780779566056,"version":"3.54.1"},"reference-count":39,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T00:00:00Z","timestamp":1790812800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T00:00:00Z","timestamp":1790812800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T00:00:00Z","timestamp":1790812800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-017"},{"start":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T00:00:00Z","timestamp":1790812800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"},{"start":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T00:00:00Z","timestamp":1790812800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-012"},{"start":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T00:00:00Z","timestamp":1790812800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T00:00:00Z","timestamp":1790812800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-004"}],"funder":[{"DOI":"10.13039\/501100004193","name":"Nanjing University of Aeronautics and Astronautics","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004193","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Journal of Systems and Software"],"published-print":{"date-parts":[[2026,10]]},"DOI":"10.1016\/j.jss.2026.112928","type":"journal-article","created":{"date-parts":[[2026,5,6]],"date-time":"2026-05-06T15:19:59Z","timestamp":1778080799000},"page":"112928","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["RTCD4ADS: Runtime traffic rule conflict detection for autonomous driving system"],"prefix":"10.1016","volume":"240","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0996-0142","authenticated-orcid":false,"given":"Yi","family":"Zhu","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-6132-0153","authenticated-orcid":false,"given":"Junge","family":"Huang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7057-9888","authenticated-orcid":false,"given":"Qiang","family":"Zhi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yuxiao","family":"Zheng","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hanwen","family":"Li","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"78","reference":[{"issue":"12","key":"10.1016\/j.jss.2026.112928_b1","doi-asserted-by":"crossref","first-page":"2366","DOI":"10.3390\/electronics14122366","article-title":"Runtime monitoring approach to safeguard behavior of autonomous vehicles at traffic lights","volume":"14","author":"Aniculaesei","year":"2025","journal-title":"Electronics"},{"key":"10.1016\/j.jss.2026.112928_b2","series-title":"Proceedings of the 1st International Conference on Artificial Intelligence and Law","first-page":"190","article-title":"Logic programming for large scale applications in law: A formalisation of supplementary benefit legislation","author":"Bench-Capon","year":"1987"},{"key":"10.1016\/j.jss.2026.112928_b3","doi-asserted-by":"crossref","first-page":"40","DOI":"10.2307\/1227753","article-title":"Some speculation about artificial intelligence and legal reasoning","volume":"23","author":"Buchanan","year":"1970","journal-title":"Stan. L. Rev."},{"key":"10.1016\/j.jss.2026.112928_b4","series-title":"2021 IEEE 21st International Conference on Software Quality, Reliability and Security","first-page":"167","article-title":"Analysis of road representations in search-based testing of autonomous driving systems","author":"Castellano","year":"2021"},{"issue":"7","key":"10.1016\/j.jss.2026.112928_b5","first-page":"432","article-title":"A structured protocol for vehicle-to-vehicle communication using LTE network based on Kali Linux","volume":"20","author":"Chauhan","year":"2024","journal-title":"Int. J. Perform. Eng."},{"issue":"7","key":"10.1016\/j.jss.2026.112928_b6","first-page":"463","article-title":"Multi-UAV collaborative path planning using hierarchical reinforcement learning and simulated annealing","volume":"18","author":"Cheng","year":"2022","journal-title":"Int. J. Perform. Eng."},{"issue":"11","key":"10.1016\/j.jss.2026.112928_b7","doi-asserted-by":"crossref","first-page":"12878","DOI":"10.1109\/TPAMI.2022.3200245","article-title":"Transfuser: Imitation with transformer-based sensor fusion for autonomous driving","volume":"45","author":"Chitta","year":"2022","journal-title":"IEEE Trans. Pattern Anal. Mach. Intell."},{"key":"10.1016\/j.jss.2026.112928_b8","series-title":"12th International Symposium on Temporal Representation and Reasoning","first-page":"166","article-title":"LOLA: Runtime monitoring of synchronous systems","author":"d\u2019Angelo","year":"2005"},{"key":"10.1016\/j.jss.2026.112928_b9","series-title":"International Conference on Formal Modeling and Analysis of Timed Systems","first-page":"92","article-title":"Robust satisfaction of temporal logic over real-valued signals","author":"Donz\u00e9","year":"2010"},{"key":"10.1016\/j.jss.2026.112928_b10","series-title":"Conference on Robot Learning","first-page":"1","article-title":"CARLA: An open urban driving simulator","author":"Dosovitskiy","year":"2017"},{"key":"10.1016\/j.jss.2026.112928_b11","series-title":"2020 IEEE 3rd Connected and Automated Vehicles Symposium","first-page":"1","article-title":"Formalizing traffic rules for machine interpretability","author":"Esterle","year":"2020"},{"key":"10.1016\/j.jss.2026.112928_b12","series-title":"Baidu apollo EM motion planner","author":"Fan","year":"2018"},{"issue":"4","key":"10.1016\/j.jss.2026.112928_b13","doi-asserted-by":"crossref","first-page":"1212","DOI":"10.3390\/s18041212","article-title":"Sensor technologies for intelligent transportation systems","volume":"18","author":"Guerrero-Ib\u00e1\u00f1ez","year":"2018","journal-title":"Sensors"},{"key":"10.1016\/j.jss.2026.112928_b14","series-title":"Proceedings of the IEEE\/CVF International Conference on Computer Vision","first-page":"8240","article-title":"Hidden biases of end-to-end driving models","author":"Jaeger","year":"2023"},{"key":"10.1016\/j.jss.2026.112928_b15","series-title":"Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings","first-page":"102","article-title":"A case study on runtime monitoring of an autonomous research vehicle (ARV) system","author":"Kane","year":"2015"},{"issue":"4","key":"10.1016\/j.jss.2026.112928_b16","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1007\/BF01995674","article-title":"Specifying real-time properties with metric temporal logic","volume":"2","author":"Koymans","year":"1990","journal-title":"Real-Time Syst."},{"issue":"5","key":"10.1016\/j.jss.2026.112928_b17","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1016\/j.jlap.2008.08.004","article-title":"A brief account of runtime verification","volume":"78","author":"Leucker","year":"2009","journal-title":"J. Log. Algebr. Program."},{"key":"10.1016\/j.jss.2026.112928_b18","series-title":"Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","first-page":"31","article-title":"Testing of autonomous driving systems: where are we and where should we go?","author":"Lou","year":"2022"},{"key":"10.1016\/j.jss.2026.112928_b19","series-title":"International Symposium on Leveraging Applications of Formal Methods","first-page":"672","article-title":"Assuring the safety of advanced driver assistance systems through a combination of simulation and runtime monitoring","author":"Mauritz","year":"2016"},{"issue":"3","key":"10.1016\/j.jss.2026.112928_b20","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1016\/0165-0114(95)00149-2","article-title":"Design and analysis of a fuzzy proportional-integral-derivative controller","volume":"79","author":"Misir","year":"1996","journal-title":"Fuzzy Sets and Systems"},{"issue":"3","key":"10.1016\/j.jss.2026.112928_b21","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1007\/s10506-017-9210-0","article-title":"On the problem of making autonomous vehicles conform to traffic law","volume":"25","author":"Prakken","year":"2017","journal-title":"Artif. Intell. Law"},{"key":"10.1016\/j.jss.2026.112928_b22","series-title":"2015 IEEE 18th International Conference on Intelligent Transportation Systems","first-page":"1658","article-title":"Formalising traffic rules for accountability of autonomous vehicles","author":"Rizaldi","year":"2015"},{"key":"10.1016\/j.jss.2026.112928_b23","series-title":"NASA Formal Methods Symposium","first-page":"175","article-title":"A formally verified checker of the safe distance traffic rules for autonomous vehicles","author":"Rizaldi","year":"2016"},{"key":"10.1016\/j.jss.2026.112928_b24","series-title":"International Conference on Integrated Formal Methods","first-page":"50","article-title":"Formalising and monitoring traffic rules for autonomous vehicles in Isabelle\/HOL","author":"Rizaldi","year":"2017"},{"key":"10.1016\/j.jss.2026.112928_b25","series-title":"2020 IEEE 23rd International Conference on Intelligent Transportation Systems","first-page":"1","article-title":"Lgsvl simulator: A high fidelity simulator for autonomous driving","author":"Rong","year":"2020"},{"key":"10.1016\/j.jss.2026.112928_b26","series-title":"Conference on Robot Learning","first-page":"726","article-title":"Safety-enhanced autonomous driving using interpretable sensor fusion transformer","author":"Shao","year":"2023"},{"issue":"5","key":"10.1016\/j.jss.2026.112928_b27","first-page":"292","article-title":"MARR_VDS: A new scheduling approach for energy & cost efficiency in VANET","volume":"20","author":"Sharma","year":"2024","journal-title":"Int. J. Perform. Eng."},{"key":"10.1016\/j.jss.2026.112928_b28","doi-asserted-by":"crossref","DOI":"10.1016\/j.eswa.2025.126661","article-title":"Digitizing traffic rules to guide automated vehicle trajectory planning","volume":"272","author":"Shi","year":"2025","journal-title":"Expert Syst. Appl."},{"key":"10.1016\/j.jss.2026.112928_b29","doi-asserted-by":"crossref","DOI":"10.1016\/j.scico.2025.103301","article-title":"Runtime monitoring of complex scenario-based requirements for autonomous driving functions","volume":"244","author":"Stemmer","year":"2025","journal-title":"Sci. Comput. Program."},{"key":"10.1016\/j.jss.2026.112928_b30","series-title":"Proceedings of the 37th IEEE\/ACM International Conference on Automated Software Engineering","first-page":"1","article-title":"LawBreaker: An approach for specifying traffic laws and fuzzing autonomous vehicles","author":"Sun","year":"2022"},{"key":"10.1016\/j.jss.2026.112928_b31","series-title":"Proceedings of the IEEE\/ACM 46th International Conference on Software Engineering","first-page":"1","article-title":"Redriver: Runtime enforcement for autonomous vehicles","author":"Sun","year":"2024"},{"issue":"2","key":"10.1016\/j.jss.2026.112928_b32","first-page":"1","article-title":"Safety analysis of autonomous driving systems: A simulation-based runtime verification approach","volume":"74","author":"Tran","year":"2025","journal-title":"IEEE Trans. Reliab."},{"key":"10.1016\/j.jss.2026.112928_b33","series-title":"Logics for Concurrency: Structure Versus Automata","first-page":"238","article-title":"An automata-theoretic approach to linear temporal logic","author":"Vardi","year":"2005"},{"key":"10.1016\/j.jss.2026.112928_b34","first-page":"5998","article-title":"Attention is all you need","volume":"30","author":"Vaswani","year":"2017"},{"key":"10.1016\/j.jss.2026.112928_b35","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/j.eng.2023.04.016","article-title":"Semantic consistency and correctness verification of digital traffic rules","volume":"33","author":"Wan","year":"2024","journal-title":"Engineering"},{"key":"10.1016\/j.jss.2026.112928_b36","series-title":"Proceedings of the 55th Annual Design Automation Conference","first-page":"1","article-title":"Runtime monitoring for safety of intelligent vehicles","author":"Watanabe","year":"2018"},{"key":"10.1016\/j.jss.2026.112928_b37","doi-asserted-by":"crossref","DOI":"10.1016\/j.scico.2024.103252","article-title":"The SGSM framework: Enabling the specification and monitor synthesis of safe driving properties through scene graphs","volume":"242","author":"Woodlief","year":"2025","journal-title":"Sci. Comput. Program."},{"issue":"1","key":"10.1016\/j.jss.2026.112928_b38","doi-asserted-by":"crossref","first-page":"408","DOI":"10.1038\/s41467-024-44694-5","article-title":"Online legal driving behavior monitoring for self-driving vehicles","volume":"15","author":"Yu","year":"2024","journal-title":"Nat. Commun."},{"key":"10.1016\/j.jss.2026.112928_b39","series-title":"2023 IEEE 26th International Conference on Intelligent Transportation Systems","first-page":"2376","article-title":"Digitization of traffic laws: Methodologies and usage for monitoring driving compliance","author":"Zhao","year":"2023"}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121226001615?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121226001615?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,6,6]],"date-time":"2026-06-06T20:24:06Z","timestamp":1780777446000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0164121226001615"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,10]]},"references-count":39,"alternative-id":["S0164121226001615"],"URL":"https:\/\/doi.org\/10.1016\/j.jss.2026.112928","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[2026,10]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"RTCD4ADS: Runtime traffic rule conflict detection for autonomous driving system","name":"articletitle","label":"Article Title"},{"value":"Journal of Systems and Software","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.jss.2026.112928","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2026 Elsevier Inc. All rights are reserved, including those for text and data mining, AI training, and similar technologies.","name":"copyright","label":"Copyright"}],"article-number":"112928"}}