{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T16:37:51Z","timestamp":1757608671454,"version":"3.44.0"},"reference-count":30,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,5,19]],"date-time":"2025-05-19T00:00:00Z","timestamp":1747612800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,5,19]],"date-time":"2025-05-19T00:00:00Z","timestamp":1747612800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,5,19]]},"DOI":"10.1109\/icra55743.2025.11127972","type":"proceedings-article","created":{"date-parts":[[2025,9,2]],"date-time":"2025-09-02T17:28:56Z","timestamp":1756834136000},"page":"5489-5495","source":"Crossref","is-referenced-by-count":0,"title":["Exact Imposition of Safety Boundary Conditions in Neural Reachable Tubes"],"prefix":"10.1109","author":[{"given":"Aditya","family":"Singh","sequence":"first","affiliation":[{"name":"University of Southern,ECE Department,California,LA,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zeyuan","family":"Feng","sequence":"additional","affiliation":[{"name":"University of Southern,ECE Department,California,LA,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Somil","family":"Bansal","sequence":"additional","affiliation":[{"name":"University of Southern,ECE Department,California,LA,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8263977"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.851439"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2004.01.012"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728612"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2024.3352263"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1186\/s40687-016-0068-7"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s10915-017-0436-5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2020.3009933"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728607"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2015.7402390"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2023.3344659"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48506.2021.9561949"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s40687-020-00215-6"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2006.377358"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2006.377184"},{"key":"ref16","article-title":"Recursive regression with neural networks: Approximating the hji pde solution","author":"Rubies-Royo","year":"2016","journal-title":"arXiv preprint"},{"key":"ref17","article-title":"Using neural networks to compute approximate and guaranteed feasible hamilton-jacobi-bellman pde solutions","author":"Jiang","year":"2016","journal-title":"arXiv preprint"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcp.2018.10.045"},{"key":"ref19","article-title":"Guiding continuous operator learning through physics-based boundary constraints","author":"Saad","year":"2022","journal-title":"arXiv preprint"},{"key":"ref20","article-title":"Fourier neural operator for parametric partial differential equations","author":"Li","year":"2020","journal-title":"arXiv preprint"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3648506"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.cma.2021.114333"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/72.712178"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1137\/090762075"},{"volume-title":"A toolbox of level set methods","year":"2004","author":"Mitchell","key":"ref25"},{"volume-title":"hj_reachability: Hamilton-Jacobi reachability analysis in JAX","year":"2021","author":"Schmerling","key":"ref26"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.4208\/cmr.2020-0051"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1137\/20m1318043"},{"key":"ref29","first-page":"719","article-title":"Verification of neural reachable tubes via scenario optimization and conformal prediction","volume-title":"Proceedings of the 6th Annual Learning for Dynamics & Control Conference, ser. Proceedings of Machine Learning Research","volume":"242","author":"Lin","year":"2024"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2022.3151143"}],"event":{"name":"2025 IEEE International Conference on Robotics and Automation (ICRA)","start":{"date-parts":[[2025,5,19]]},"location":"Atlanta, GA, USA","end":{"date-parts":[[2025,5,23]]}},"container-title":["2025 IEEE International Conference on Robotics and Automation (ICRA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11127273\/11127223\/11127972.pdf?arnumber=11127972","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,3]],"date-time":"2025-09-03T06:34:13Z","timestamp":1756881253000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11127972\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,5,19]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/icra55743.2025.11127972","relation":{},"subject":[],"published":{"date-parts":[[2025,5,19]]}}}