{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T09:14:19Z","timestamp":1780391659779,"version":"3.54.1"},"reference-count":32,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,7,16]],"date-time":"2025-07-16T00:00:00Z","timestamp":1752624000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,7,16]],"date-time":"2025-07-16T00:00:00Z","timestamp":1752624000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100012166","name":"National Key R&D Program of China","doi-asserted-by":"publisher","award":["2022YFA1005101"],"award-info":[{"award-number":["2022YFA1005101"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62032024"],"award-info":[{"award-number":["62032024"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,7,16]]},"DOI":"10.1109\/qrs65678.2025.00040","type":"proceedings-article","created":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T17:51:28Z","timestamp":1759168288000},"page":"315-326","source":"Crossref","is-referenced-by-count":1,"title":["Verifying Neural Network Controlled Systems by Combining Forward and Backward Reachability Analysis"],"prefix":"10.1109","author":[{"given":"Xinyu","family":"Wang","sequence":"first","affiliation":[{"name":"College of Computer Science and Technology, National University of Defense Technology,Changsha,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Liqian","family":"Chen","sequence":"additional","affiliation":[{"name":"College of Computer Science and Technology, National University of Defense Technology,Changsha,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zengyu","family":"Liu","sequence":"additional","affiliation":[{"name":"College of Computer Science and Technology, National University of Defense Technology,Changsha,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Minghao","family":"Li","sequence":"additional","affiliation":[{"name":"College of Computer Science and Technology, National University of Defense Technology,Changsha,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Banghu","family":"Yin","sequence":"additional","affiliation":[{"name":"College of System Engineering, National University of Defense Technology,Changsha,China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","first-page":"1","article-title":"REDriver: Runtime enforcement for autonomous vehicles","volume-title":"Proceedings of the IEEE\/ACM 46th International Conference on Software Engineering","author":"Sun","year":"2024"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TIV.2023.3344226"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1038\/nature14236"},{"key":"ref4","first-page":"17 853","article-title":"Planningoriented autonomous driving","volume-title":"Proceedings of the IEEE\/CVF Conference on Computer Vision and Pattern Recognition","author":"Hu","year":"2023"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.2478\/v10136-012-0031-x"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.2514\/1.G003724"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/72.80202"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2005.847331"},{"key":"ref9","article-title":"Intriguing properties of neural networks","author":"Szegedy","year":"2013","journal-title":"arXiv preprint"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1201\/9781351251389-8"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-6918-6_14"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.29007\/mxld"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-33170-1_2"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-53288-8_1"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-19992-9_27"},{"issue":"117","key":"ref16","first-page":"1","article-title":"Overt: An algorithm for safety verification of neural network control policies for nonlinear systems","volume":"23","author":"Sidrane","year":"2022","journal-title":"Journal of Machine Learning Research"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/CDC51059.2022.9992847"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2023.3260731"},{"key":"ref19","first-page":"80 270","article-title":"Provably bounding neural network preimages","volume":"36","author":"Kotha","year":"2023","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2020.3045323"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48506.2021.9561348"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2021.3133370"},{"key":"ref23","article-title":"Efficient neural network robustness certification with general activation functions","volume":"31","author":"Zhang","year":"2018","journal-title":"Advances in neural information processing systems"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/OJCSYS.2023.3265901"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/CDC42340.2020.9304296"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2024.3518912"},{"key":"ref27","article-title":"BReach-LP: a Framework for Backward Reachability Analysis of Neural Feedback Loops","volume-title":"Massachusetts Institute of Technology, Department of Mechanical Engineering","author":"Rober","year":"2023"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00058"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-0348-8438-9_1"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/3290354"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48891.2023.10160732"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/CDC49753.2023.10383360"}],"event":{"name":"2025 25th International Conference on Software Quality, Reliability and Security (QRS)","location":"Hangzhou, China","start":{"date-parts":[[2025,7,16]]},"end":{"date-parts":[[2025,7,20]]}},"container-title":["2025 25th International Conference on Software Quality, Reliability and Security (QRS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11173421\/11173424\/11173489.pdf?arnumber=11173489","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,30]],"date-time":"2025-09-30T12:48:09Z","timestamp":1759236489000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11173489\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,7,16]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/qrs65678.2025.00040","relation":{},"subject":[],"published":{"date-parts":[[2025,7,16]]}}}