{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T22:50:25Z","timestamp":1768344625040,"version":"3.49.0"},"reference-count":64,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"11","license":[{"start":{"date-parts":[[2023,11,1]],"date-time":"2023-11-01T00:00:00Z","timestamp":1698796800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]},{"name":"HICON-LEARN","award":["FA8750-18-C-0101"],"award-info":[{"award-number":["FA8750-18-C-0101"]}]},{"name":"SRC"},{"name":"CONIX","award":["1042741-394321"],"award-info":[{"award-number":["1042741-394321"]}]},{"DOI":"10.13039\/100000006","name":"ONR","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000006","id-type":"DOI","asserted-by":"publisher"}]},{"name":"BRC","award":["N00014-18-1-2214"],"award-info":[{"award-number":["N00014-18-1-2214"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2023,11]]},"DOI":"10.1109\/tac.2023.3241180","type":"journal-article","created":{"date-parts":[[2023,1,31]],"date-time":"2023-01-31T18:41:58Z","timestamp":1675190518000},"page":"6481-6495","source":"Crossref","is-referenced-by-count":4,"title":["Efficient Computation of State-Constrained Reachability Problems Using Hopf\u2013Lax Formulae"],"prefix":"10.1109","volume":"68","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4073-1353","authenticated-orcid":false,"given":"Donggun","family":"Lee","sequence":"first","affiliation":[{"name":"Department of Mechanical Engineering, University of California, Berkeley, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3192-3185","authenticated-orcid":false,"given":"Claire J.","family":"Tomlin","sequence":"additional","affiliation":[{"name":"Department of Electrical Engineering and Computer Sciences, University of California, Berkeley, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1137\/0324067"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9939-1986-0813815-5"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1137\/0324032"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1137\/080725891"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1023\/A:1004668504089"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.93.4.1591"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1137\/S0363012993250268"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2020.3009933"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1137\/16M1062569"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1016\/S1474-6670(17)61205-9"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/9.769372"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1007\/b98874"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1023\/A:1021785409703"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511804441"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1006\/jmaa.2000.7070"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1990-0951880-0"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1137\/15M1023737"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1051\/cocv\/2012011"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2022.3221704"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcp.2019.01.051"},{"key":"ref46","first-page":"951","article-title":"Generalized solutions of non-linear equations of first order","volume":"14","author":"hopf","year":"1965","journal-title":"J Math Mechanics"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1002\/cpa.3160100406"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1186\/s40687-016-0068-7"},{"key":"ref47","author":"evans","year":"2010","journal-title":"Partial Differential Equations"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/CDC42340.2020.9303785"},{"key":"ref41","first-page":"708","article-title":"Learning for safety-critical control with control barrier functions","author":"taylor","year":"0","journal-title":"Proc Learn Dyn Control"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1016\/0362-546X(84)90020-8"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2019.8794107"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1007\/s00245-018-9509-6"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2105730"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2004.01.012"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/0362-546X(89)90096-5"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/5.871303"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1006\/jmaa.1996.0273"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8263977"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(98)00193-9"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2021.3069759"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2019.8796108"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3313354"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1080\/00207171003692662"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2017.2672859"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/CCTA.2018.8511342"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2017.2659727"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.843854"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2018.07.004"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/CDC42340.2020.9304334"},{"key":"ref1","article-title":"Hamilton-Jacobi equations for two classes of state-constrained zero-sum games","author":"lee","year":"2021"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2006.377825"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2018.2853182"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1137\/130914565"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/b98879"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2042341"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2019.2916256"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1051\/cocv\/2021084"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2018.04.011"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2012.6426855"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2041976"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.3934\/mcrf.2022008"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2638961"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2012.11.004"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/CDC45484.2021.9683085"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-9274(96)00048-7"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1007\/s10589-017-9969-7"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1137\/140999621"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9\/10298015\/10032791.pdf?arnumber=10032791","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,20]],"date-time":"2023-11-20T19:48:45Z","timestamp":1700509725000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10032791\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11]]},"references-count":64,"journal-issue":{"issue":"11"},"URL":"https:\/\/doi.org\/10.1109\/tac.2023.3241180","relation":{},"ISSN":["0018-9286","1558-2523","2334-3303"],"issn-type":[{"value":"0018-9286","type":"print"},{"value":"1558-2523","type":"electronic"},{"value":"2334-3303","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,11]]}}}