{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T17:32:12Z","timestamp":1778347932843,"version":"3.51.4"},"reference-count":44,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T00:00:00Z","timestamp":1556668800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T00:00:00Z","timestamp":1556668800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T00:00:00Z","timestamp":1556668800000},"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,5]]},"DOI":"10.1109\/icra.2019.8793919","type":"proceedings-article","created":{"date-parts":[[2019,8,13]],"date-time":"2019-08-13T01:26:12Z","timestamp":1565659572000},"page":"7697-7704","source":"Crossref","is-referenced-by-count":24,"title":["A Classification-based Approach for Approximate Reachability"],"prefix":"10.1109","author":[{"given":"Vicenc","family":"Rubies-Royo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Fridovich-Keil","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sylvia","family":"Herbert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claire J.","family":"Tomlin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","author":"mitchell","year":"2009","journal-title":"A Toolbox of level set methods"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1016\/0362-546X(90)90113-U"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1137\/0305009"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2006.377184"},{"key":"ref31","article-title":"Using neural networks to compute approximate and guaranteed feasible Hamilton-Jacobi-Bellman PDE solutions","author":"jiang","year":"2016","journal-title":"arXiv preprint arXiv 1611 03158"},{"key":"ref30","article-title":"Dynamic learning from adaptive neural network control of a class of nonaffine nonlinear systems","volume":"25 1","author":"dai","year":"2014","journal-title":"IEEE Transactions on Neural Networks and Learning Systems"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1137\/090762075"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.2307\/j.ctvcm4g0s"},{"key":"ref35","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":"Proc ACM Int Conf Hybrid Systems Computation and Control"},{"key":"ref34","article-title":"Differential games and representation formulas for solutions of Hamilton-Jacobi-Isaacs equations","volume":"33 5","author":"evans","year":"1984","journal-title":"Indiana Univ Math J"},{"key":"ref10","article-title":"Exact and efficient Hamilton-Jacobi-based guaranteed safety analysis via system decomposition","author":"chen","year":"2016","journal-title":"Proc IEEE Int Conf Robotics and Automation"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/s10915-007-9174-4"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7798268"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_30"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-64358-3_38"},{"key":"ref14","article-title":"Ellipsoidal techniques for reachability analysis: internal approximation","volume":"41 3","author":"kurzhanskiv","year":"2000","journal-title":"Systems & Control Letters"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1080\/1055678021000012435"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.03.020"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2016.7526557"},{"key":"ref18","article-title":"An Introduction to CORA 2015","author":"althoff","year":"2015","journal-title":"Proc ARCH CPSWeek"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_18"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/s10846-007-9180-7"},{"key":"ref4","article-title":"Robust Sequential Path Planning Under Disturbances and Adversarial Intruder","author":"chen","year":"2016","journal-title":"The American Institute of Aeronautics and Astronautics"},{"key":"ref27","article-title":"Generalized Hamilton–Jacobi– Bellman formulation-based neural network control of affine nonlinear discrete-time systems","volume":"19 1","author":"chen","year":"2008","journal-title":"IEEE Transactions on Neural Networks"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8263977"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2185632.2185644"},{"key":"ref29","article-title":"Neural-network-based near-optimal control for a class of discrete-time affine nonlinear systems with control constraints","volume":"20 9","author":"zhang","year":"2009","journal-title":"IEEE Transactions on Neural Networks"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2015.7402951"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2011.5980264"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.2514\/1.21562"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.851439"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4738998"},{"key":"ref1","article-title":"Hybrid systems: modeling, analysis and control","author":"lygeros","year":"1999","journal-title":"Preprint"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883838"},{"key":"ref22","article-title":"End-to-end training of deep visuomotor policies","volume":"17 1","author":"levine","year":"2016","journal-title":"The Journal of Machine Learning Research"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1177\/0278364914528059"},{"key":"ref42","article-title":"A fast marching level set method for mono-tonically advancing fronts","volume":"93 4","author":"sethian","year":"1996","journal-title":"Proceedings of the National Academy of Sciences"},{"key":"ref24","article-title":"Neural network dynamics for model-based deep reinforcement learning with model-free fine-tuning","author":"nagabandi","year":"2017","journal-title":"arXiv preprint arXiv 1708 09721"},{"key":"ref41","author":"osher","year":"2002","journal-title":"Level Set Methods and Dynamic Implicit Surfaces"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2017.7989379"},{"key":"ref44","article-title":"Decomposition of Reachable Sets and Tubes for a Class of Nonlinear Systems","author":"chen","year":"2016","journal-title":"IEEE Trans Autom Control (to appear)"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7798978"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8263867"},{"key":"ref25","article-title":"Reverse curriculum generation for reinforcement learning","author":"florensa","year":"2017","journal-title":"arXiv preprint arXiv 1707 07816"}],"event":{"name":"2019 International Conference on Robotics and Automation (ICRA)","location":"Montreal, QC, Canada","start":{"date-parts":[[2019,5,20]]},"end":{"date-parts":[[2019,5,24]]}},"container-title":["2019 International Conference on Robotics and Automation (ICRA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8780387\/8793254\/08793919.pdf?arnumber=8793919","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,15]],"date-time":"2022-07-15T03:17:25Z","timestamp":1657855045000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8793919\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,5]]},"references-count":44,"URL":"https:\/\/doi.org\/10.1109\/icra.2019.8793919","relation":{},"subject":[],"published":{"date-parts":[[2019,5]]}}}