{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T21:06:57Z","timestamp":1768338417153,"version":"3.49.0"},"reference-count":41,"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"}],"funder":[{"DOI":"10.13039\/100000185","name":"DARPA","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,5,19]]},"DOI":"10.1109\/icra55743.2025.11127528","type":"proceedings-article","created":{"date-parts":[[2025,9,2]],"date-time":"2025-09-02T17:28:56Z","timestamp":1756834136000},"page":"3552-3558","source":"Crossref","is-referenced-by-count":2,"title":["Reachability Analysis for Black-Box Dynamical Systems"],"prefix":"10.1109","author":[{"given":"Vamsi Krishna","family":"Chilakamarri","sequence":"first","affiliation":[{"name":"Indian Institute of Technology,Madras,India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zeyuan","family":"Feng","sequence":"additional","affiliation":[{"name":"Stanford University,Department of Electrical and Computer Engineering at the University of Southern California LA, USA, and the department of Aeronautics and Astronautics,Stanford,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Somil","family":"Bansal","sequence":"additional","affiliation":[{"name":"Stanford University,Department of Electrical and Computer Engineering at the University of Southern California LA, USA, and the department of Aeronautics and Astronautics,Stanford,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.1016\/j.nahs.2009.03.009"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2017.08.1617"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1177\/0278364914528059"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1177\/0278364917712421"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883838"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48506.2021.9561949"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.851439"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2004.01.012"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728612"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2024.3352263"},{"key":"ref12","volume-title":"A toolbox of level set methods","author":"Mitchell","year":"2004"},{"key":"ref13","volume-title":"hj_reachability: Hamilton-Jacobi reachability analysis in JAX","author":"Schmerling","year":"2021"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/s40687-020-00215-6"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2006.377358"},{"key":"ref16","article-title":"Predictive sampling: Real-time behaviour synthesis with mujoco","volume-title":"arXiv preprint","author":"Howell","year":"2022"},{"key":"ref17","article-title":"Isaac gym: High performance gpu-based physics simulation for robot learning","author":"Makoviychuk","year":"2021","journal-title":"arXiv preprint"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.3182\/20060329-3-AU-2901.00062"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48506.2021.9561561"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2018.2876389"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039601"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2024.3408069"},{"issue":"15-19","key":"ref23","first-page":"1114","article-title":"Black-box control for linear dynamical systems","volume-title":"Proceedings of Thirty Fourth Conference on Learning Theory, ser. Proceedings of Machine Learning Research, M. Belkin and S. Kpotufe, Eds.","volume":"134","author":"Chen","year":"2021"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.23919\/ACC50511.2021.9483367"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/3447928.3457355"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/2562059.2562139"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.03.010"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-018-9791-9"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2018.XIV.014"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8264426"},{"key":"ref31","author":"Devonport","year":"2020","journal-title":"Estimating reachable sets with scenario optimization"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311795"},{"key":"ref33","article-title":"Sampling-based reachability analysis: A random set theory approach with adversarial sampling","author":"Lew","year":"2020","journal-title":"arXiv preprint"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2019.8794107"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2021.XVII.077"},{"key":"ref36","first-page":"90","article-title":"Isaacs: Iterative soft adversarial actor-critic for safety","volume-title":"Learning for Dynamics and Control Conference. PMLR","author":"Hsu","year":"2023"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/cdc.2017.8263977"},{"key":"ref38","first-page":"719","article-title":"Verification of neural reachable tubes via scenario optimization and conformal prediction","volume-title":"6th Annual Learning for Dynamics & Control Conference. PMLR","author":"Lin","year":"2024"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1177\/0278364920950795"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1177\/02783649231224053"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2024.3454470"}],"event":{"name":"2025 IEEE International Conference on Robotics and Automation (ICRA)","location":"Atlanta, GA, USA","start":{"date-parts":[[2025,5,19]]},"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\/11127528.pdf?arnumber=11127528","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,3]],"date-time":"2025-09-03T06:03:36Z","timestamp":1756879416000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11127528\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,5,19]]},"references-count":41,"URL":"https:\/\/doi.org\/10.1109\/icra55743.2025.11127528","relation":{},"subject":[],"published":{"date-parts":[[2025,5,19]]}}}