{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,23]],"date-time":"2026-07-23T15:35:43Z","timestamp":1784820943498,"version":"3.55.0"},"reference-count":56,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,5,30]],"date-time":"2021-05-30T00:00:00Z","timestamp":1622332800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,5,30]],"date-time":"2021-05-30T00:00:00Z","timestamp":1622332800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,5,30]],"date-time":"2021-05-30T00:00:00Z","timestamp":1622332800000},"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":[[2021,5,30]]},"DOI":"10.1109\/icra48506.2021.9561949","type":"proceedings-article","created":{"date-parts":[[2021,10,20]],"date-time":"2021-10-20T00:28:35Z","timestamp":1634689715000},"page":"1817-1824","source":"Crossref","is-referenced-by-count":103,"title":["DeepReach: A Deep Learning Approach to High-Dimensional Reachability"],"prefix":"10.1109","author":[{"given":"Somil","family":"Bansal","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Claire J.","family":"Tomlin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/s40687-020-00215-6"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2019.8794107"},{"key":"ref33","article-title":"Estimating Reachable Sets with Scenario Optimization","author":"devonport","year":"2020"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8264426"},{"key":"ref31","article-title":"Samplingbased approximation algorithms for reachability analysis with provable guarantees","author":"liebenwein","year":"2018","journal-title":"RSS"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2019.8796030"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2019.8793919"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2014.6942859"},{"key":"ref35","article-title":"Sampling-based Reachability Analysis: A Random Set Theory Approach with Adversarial Sampling","author":"lew","year":"2020"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311795"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2016.7526557"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.29007\/b8zr"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2638961"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.851439"},{"key":"ref1","article-title":"Implicit neural representations with periodic activation functions","author":"sitzmann","year":"2020"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728607"},{"key":"ref22","doi-asserted-by":"crossref","DOI":"10.15607\/RSS.2020.XVI.100","article-title":"Reachable Sets for Safe, Real-Time Manipulator Trajectory Design","author":"holmes","year":"2020"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2018.2797194"},{"key":"ref24","article-title":"Robust Sequential Path Planning Under Disturbances and Adversarial Intruder","author":"chen","year":"2017","journal-title":"IEEE Transactions on Control Systems Technology"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA40945.2020.9197017"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/s10915-017-0436-5"},{"key":"ref25","article-title":"Provably Safe and Scalable Multi-Vehicle Trajectory Planning","author":"bansal","year":"2020","journal-title":"IEEE Transactions on Control Systems Technology"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.1718942115"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-04167-0"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/CDC40024.2019.9030133"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/CDC40024.2019.9029575"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8263867"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8264092"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.29007\/mx3f"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6911(00)00059-1"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2006.377358"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1080\/1055678021000012435"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.03.020"},{"key":"ref13","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-31954-2_19","article-title":"Reachability of uncertain linear systems using zonotopes","author":"girard","year":"2005","journal-title":"International Workshop on Hybrid Systems Computation and Control"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2009.03.009"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2017.08.1617"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1177\/0278364914528059"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1177\/0278364917712421"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883838"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2283095"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2105730"},{"key":"ref3","article-title":"On reachability and minimum cost optimal control","volume":"40","author":"lygeros","year":"2004"},{"key":"ref6","article-title":"HamiltonJacobi Reachability: A Brief Overview and Recent Advances","author":"bansal","year":"2017","journal-title":"IEEE Conference on Decision and Control"},{"key":"ref5","article-title":"Reachavoid problems with time-varying dynamics, targets and constraints","author":"fisac","year":"2015","journal-title":"International Conference on Hybrid Systems Computation and Control"},{"key":"ref8","article-title":"Integrating Projections Mark R. Greenstreet Department of Computer Science","author":"greenstreet","year":"1998","journal-title":"International Workshop on Hybrid Systems Computation and Control"},{"key":"ref7","article-title":"A toolbox of level set methods","author":"mitchell","year":"2004"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1016\/j.neucom.2018.06.056"},{"key":"ref9","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-22110-1_30","article-title":"SpaceEx: Scalable Verification of Hybrid Systems","author":"frehse","year":"2011","journal-title":"International Conference Computer Aided Verification"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1016\/S0307-904X(02)00101-4"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1016\/S0893-6080(00)00013-7"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcp.2018.10.045"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcp.2018.08.029"},{"key":"ref42","volume":"1","author":"bertsekas","year":"0","journal-title":"Dynamic Programming and Optimal Control"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2006.377184"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/72.712178"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1016\/0021-9991(90)90007-N"}],"event":{"name":"2021 IEEE International Conference on Robotics and Automation (ICRA)","location":"Xi'an, China","start":{"date-parts":[[2021,5,30]]},"end":{"date-parts":[[2021,6,5]]}},"container-title":["2021 IEEE International Conference on Robotics and Automation (ICRA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9560720\/9560666\/09561949.pdf?arnumber=9561949","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,12]],"date-time":"2023-01-12T22:55:23Z","timestamp":1673564123000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9561949\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5,30]]},"references-count":56,"URL":"https:\/\/doi.org\/10.1109\/icra48506.2021.9561949","relation":{},"subject":[],"published":{"date-parts":[[2021,5,30]]}}}