{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T16:37:39Z","timestamp":1777653459739,"version":"3.51.4"},"reference-count":37,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,12,1]],"date-time":"2019-12-01T00:00:00Z","timestamp":1575158400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,12,1]],"date-time":"2019-12-01T00:00:00Z","timestamp":1575158400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,12,1]],"date-time":"2019-12-01T00:00:00Z","timestamp":1575158400000},"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":[[2019,12]]},"DOI":"10.1109\/cdc40024.2019.9030133","type":"proceedings-article","created":{"date-parts":[[2020,3,13]],"date-time":"2020-03-13T04:43:11Z","timestamp":1584074591000},"page":"1758-1765","source":"Crossref","is-referenced-by-count":70,"title":["An Efficient Reachability-Based Framework for Provably Safe Autonomous Navigation in Unknown Environments"],"prefix":"10.1109","author":[{"given":"Andrea","family":"Bajcsy","sequence":"first","affiliation":[]},{"given":"Somil","family":"Bansal","sequence":"additional","affiliation":[]},{"given":"Eli","family":"Bronstein","sequence":"additional","affiliation":[]},{"given":"Varun","family":"Tolani","sequence":"additional","affiliation":[]},{"given":"Claire J.","family":"Tomlin","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2012.VIII.048"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2017.2753460"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-60916-4_19"},{"key":"ref30","article-title":"Model predictive control of vehicle ma-neuvers with guaranteed completion time and robust feasibility","author":"richards","year":"0","journal-title":"ACC ’09"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-27702-8_28"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2016.03.121"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2017.7989693"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.2514\/6.2004-5141"},{"key":"ref10","article-title":"Safe model-based reinforcement learning with stability guarantees","author":"berkenkamp","year":"0","journal-title":"NIPS ’13"},{"key":"ref11","article-title":"Provably safe and robust drone routing via sequential path planning: A case study in san francisco and the bay area","author":"chen","year":"2017"},{"key":"ref12","article-title":"A lyapunov-based approach to safe reinforcement learning","author":"chow","year":"0","journal-title":"NIPS ’13"},{"key":"ref13","first-page":"1","author":"coddington","year":"1955","journal-title":"Theory of Ordinary Differential Equations"},{"key":"ref14","article-title":"A general safety framework for learning-based control in uncertain robotic systems","author":"fisac","year":"2018","journal-title":"IEEE Trans on Automatic Control"},{"key":"ref15","doi-asserted-by":"crossref","DOI":"10.1145\/2728606.2728612","article-title":"Reach-avoid problems with time-varying dynamics, targets and constraints","author":"fisac","year":"2015","journal-title":"HSCC"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1163\/1568553042674662"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8263867"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2018.XIV.061"},{"key":"ref19","article-title":"Uncertainty-aware reinforcement learning for collision avoidance","author":"kahn","year":"2017"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.851439"},{"key":"ref4","article-title":"Joint 2D-3D-Semantic Data for Indoor Scene Understanding","author":"armeni","year":"2017"},{"key":"ref27","article-title":"A toolbox of level set methods","author":"mitchell","year":"2004"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2638961"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2017.7963818"},{"key":"ref29","article-title":"Safe exploration in markov decision processes","author":"moldovan","year":"2012"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/CDC40024.2019.9030133"},{"key":"ref8","article-title":"Combining optimal control and learning for visual navigation in novel environments","author":"bansal","year":"2019"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8263977"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2017.XIII.073"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2007.363069"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1006\/jcph.1995.1098"},{"key":"ref20","article-title":"Safe and complete real-time planning and exploration in unknown environments","author":"keil","year":"2018"},{"key":"ref22","article-title":"Bridging the gap between safety and real-time performance in receding-horizon trajectory design for mobile robots","author":"kousik","year":"2018"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2004.838026"},{"key":"ref24","author":"lavalle","year":"1998","journal-title":"Rapidly-Exploring Random Trees A New Tool for Path Planning"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2016.2544339"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2105730"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1177\/0278364917712421"}],"event":{"name":"2019 IEEE 58th Conference on Decision and Control (CDC)","location":"Nice, France","start":{"date-parts":[[2019,12,11]]},"end":{"date-parts":[[2019,12,13]]}},"container-title":["2019 IEEE 58th Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8977134\/9028853\/09030133.pdf?arnumber=9030133","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,19]],"date-time":"2022-07-19T20:18:43Z","timestamp":1658261923000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9030133\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,12]]},"references-count":37,"URL":"https:\/\/doi.org\/10.1109\/cdc40024.2019.9030133","relation":{},"subject":[],"published":{"date-parts":[[2019,12]]}}}