{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T06:58:04Z","timestamp":1772780284760,"version":"3.50.1"},"reference-count":27,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62303389"],"award-info":[{"award-number":["62303389"]}],"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":["62373289"],"award-info":[{"award-number":["62373289"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Guangdong Basic and Applied Basic Research Funding","award":["2024A1515012586"],"award-info":[{"award-number":["2024A1515012586"]}]},{"name":"Guangdong Scientific Research Platform and Project Scheme","award":["2024KTSCX039"],"award-info":[{"award-number":["2024KTSCX039"]}]},{"DOI":"10.13039\/100010098","name":"Youth Talent Support Program of Guangdong Association for Science and Technology","doi-asserted-by":"publisher","award":["SKXRC2025463"],"award-info":[{"award-number":["SKXRC2025463"]}],"id":[{"id":"10.13039\/100010098","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Control Syst. Lett."],"published-print":{"date-parts":[[2026]]},"DOI":"10.1109\/lcsys.2026.3665795","type":"journal-article","created":{"date-parts":[[2026,2,17]],"date-time":"2026-02-17T21:10:51Z","timestamp":1771362651000},"page":"109-114","source":"Crossref","is-referenced-by-count":0,"title":["Safety-Critical Control Under Timed Reach\u2013Avoid Specifications: A Backup Control Barrier Function Approach"],"prefix":"10.1109","volume":"10","author":[{"ORCID":"https:\/\/orcid.org\/0009-0009-1886-0467","authenticated-orcid":false,"given":"Yangrui","family":"Zhang","sequence":"first","affiliation":[{"name":"Robotics and Autonomous Systems Thrust, Systems Hub, The Hong Kong University of Science and Technology (Guangzhou), Guangzhou, China"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-6286-8959","authenticated-orcid":false,"given":"Tianjian","family":"Jiang","sequence":"additional","affiliation":[{"name":"College of Computer Science and Technology, National University of Defense Technology, Changsha, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4838-4579","authenticated-orcid":false,"given":"Zhongxuan","family":"Cai","sequence":"additional","affiliation":[{"name":"College of Computer Science and Technology, National University of Defense Technology, Changsha, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2678-7051","authenticated-orcid":false,"given":"Yiding","family":"Ji","sequence":"additional","affiliation":[{"name":"Robotics and Autonomous Systems Thrust, Systems Hub, The Hong Kong University of Science and Technology (Guangzhou), Guangzhou, China"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-27576-0"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-50763-7"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-29310-8"},{"key":"ref4","volume-title":"Verifying Cyber-Physical Systems: A Path to Safe Autonomy","author":"Mitra","year":"2021"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2024.3505817"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TIV.2023.3283055"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2023.3315536"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2022.3172857"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3575870.3587120"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CDC49753.2023.10383500"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CDC40024.2019.9029429"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48506.2021.9561209"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1049\/cth2.12254"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2025.3587276"},{"key":"ref16","first-page":"308","article-title":"Tractable reinforcement learning of signal temporal logic objectives","volume-title":"Proc. 2nd Conf. Learn. Dyn. control","author":"Venkataraman"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2018.2853182"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.23919\/ECC55457.2022.9838028"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2022.3195470"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2021.3105491"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2025.3592723"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.23919\/ECC65951.2025.11186887"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2018.8619139"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/CDC45484.2021.9683111"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/IROS40897.2019.8968231"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2024.3514998"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TMECH.2024.3504573"}],"container-title":["IEEE Control Systems Letters"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/7782633\/11370312\/11397650.pdf?arnumber=11397650","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T05:47:06Z","timestamp":1772776026000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11397650\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/lcsys.2026.3665795","relation":{},"ISSN":["2475-1456"],"issn-type":[{"value":"2475-1456","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]}}}