{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,3]],"date-time":"2026-06-03T18:33:10Z","timestamp":1780511590128,"version":"3.54.1"},"reference-count":84,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T00:00:00Z","timestamp":1780272000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T00:00:00Z","timestamp":1780272000000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T00:00:00Z","timestamp":1780272000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T00:00:00Z","timestamp":1780272000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["2442948"],"award-info":[{"award-number":["2442948"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002241","name":"Japan Science and Technology Agency","doi-asserted-by":"publisher","award":["JPMJPR2136"],"award-info":[{"award-number":["JPMJPR2136"]}],"id":[{"id":"10.13039\/501100002241","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000006","name":"Office of Naval Research","doi-asserted-by":"publisher","award":["N00014-23-1-2252"],"award-info":[{"award-number":["N00014-23-1-2252"]}],"id":[{"id":"10.13039\/100000006","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2026,6]]},"DOI":"10.1109\/tac.2026.3669443","type":"journal-article","created":{"date-parts":[[2026,3,2]],"date-time":"2026-03-02T20:58:58Z","timestamp":1772485138000},"page":"3832-3847","source":"Crossref","is-referenced-by-count":2,"title":["Myopically Verifiable Probabilistic Certificates for Safe Control and Learning"],"prefix":"10.1109","volume":"71","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1360-6218","authenticated-orcid":false,"given":"Zhuoyuan","family":"Wang","sequence":"first","affiliation":[{"name":"Department of Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-9324-2669","authenticated-orcid":false,"given":"Haoming","family":"Jing","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3178-4042","authenticated-orcid":false,"given":"Christian","family":"Kurniawan","sequence":"additional","affiliation":[{"name":"Information Systems Technology and Design pillar, Singapore University of Technology and Design, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9802-3619","authenticated-orcid":false,"given":"Albert","family":"Chern","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, University of California, San Diego, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3324-4602","authenticated-orcid":false,"given":"Yorie","family":"Nakahira","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(99)00113-2"},{"key":"ref2","volume-title":"Nonlinear Systems","author":"Khalil","year":"2002"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2019.8796030"},{"key":"ref4","first-page":"551","article-title":"ber die lage der integralkurven gewhnlicher differentialgleichungen","volume-title":"Proc. 3rd Ser. Physico- Math. Soc. Jpn.","author":"Nagumo","year":"1942"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.5802\/aif.319"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1002\/cpa.3160230211"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2021.109688"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48506.2021.9561894"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2025.112185"},{"key":"ref10","first-page":"372","article-title":"Multi-robot collision avoidance under uncertainty with probabilistic safety barrier certificates","volume":"33","author":"Luo","year":"2020","journal-title":"Adv. Neural Inf. Process. Syst."},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.03.027"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2019.8815169"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2013.6669603"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2006.377091"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.amc.2022.127054"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/MEMOCODE51338.2020.9315182"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8263977"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/CDC45484.2021.9683085"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v37i10.26407"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2019.8814901"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/CDC45484.2021.9683349"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2020.109439"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2024.3415456"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2022.3187458"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2018.8430957"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.902736"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2020.3043287"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/3126508"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/CDC40024.2019.9028862"},{"key":"ref30","first-page":"9672","article-title":"Safety guarantees for neural network dynamic systems via stochastic barrier functions","volume":"35","author":"Mazouz","year":"2022","journal-title":"Adv. Neural Inf. Process. Syst."},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/IV51971.2022.9827264"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/j.jprocont.2016.03.005"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1146\/annurev-control-090419-075625"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TIV.2021.3074645"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.2024.3457538"},{"issue":"1","key":"ref36","first-page":"1437","article-title":"A comprehensive survey on safe reinforcement learning","volume":"16","author":"Garca","year":"2015","journal-title":"J. Mach. Learn. Res."},{"key":"ref37","first-page":"11480","article-title":"CRPO: A new approach for safe reinforcement learning with convergence guarantee","volume-title":"Proc. Int. Conf. Mach. Learn.","author":"Xu","year":"2021"},{"key":"ref38","article-title":"A primal-dual approach to constrained Markov decision processes","author":"Chen","year":"2021"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2021\/614"},{"key":"ref40","first-page":"9797","article-title":"Safe reinforcement learning in constrained Markov decision processes","volume-title":"Proc. Int. Conf. Mach. Learn.","author":"Wachi","year":"2020"},{"key":"ref41","first-page":"8103","article-title":"A Lyapunov-based approach to safe reinforcement learning","volume":"31","author":"Chow","year":"2018","journal-title":"Adv. Neural Inf. Process. Syst."},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1016\/j.neucom.2022.07.072"},{"key":"ref43","first-page":"739","article-title":"Safe control with neural network dynamic models","volume-title":"Proc. Learn. Dyn. Control Conf.","author":"Wei","year":"2022"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-021-00544-5"},{"key":"ref45","article-title":"ROSARL: Reward-only safe reinforcement learning","author":"Tasse","year":"2023"},{"key":"ref46","first-page":"243","article-title":"Safe reinforcement learning with linear function approximation","volume-title":"Proc. Int. Conf. Mach. Learn.","author":"Amani","year":"2021"},{"key":"ref47","article-title":"Enforcing robust control guarantees within neural network policies","volume-title":"Proc. Int. Conf. Learn. Representations","author":"Donti","year":"2021"},{"key":"ref48","article-title":"Learning to be safe: Deep RL with a safety critic","author":"Srinivasan","year":"2020"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v32i1.11797"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA40945.2020.9196867"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2022.3216996"},{"key":"ref52","volume-title":"Stochastic Differential Equations: An Introduction With Applications","author":"Oksendal","year":"2013"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14394-6"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-62310-8"},{"key":"ref55","volume-title":"Model Predictive Control: Theory, Computation, and Design","volume":"2","author":"Rawlings","year":"2017"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1007\/BF02418571"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2023.110894"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevE.91.032104"},{"key":"ref59","first-page":"358","article-title":"A generalizable physics-informed learning framework for risk probability estimation","volume-title":"Proc. Learn. Dyn. Control Conf.","author":"Wang","year":"2023"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v38i19.30169"},{"key":"ref61","first-page":"3576","article-title":"A physics-informed reinforcement learning framework for risk probability estimation","volume-title":"Proc. Amer. Control Conf.","author":"Hoshino","year":"2024"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1109\/tac.2025.3622907"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1162\/neco.1991.3.2.246"},{"key":"ref64","volume-title":"Monte Carlo Methods","author":"Hammersley","year":"2013"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1109\/CDC45484.2021.9683542"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1007\/11587392_4"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1017\/S0305004100023197"},{"key":"ref68","article-title":"Constrained empirical risk minimization: Theory and practice","author":"Marcus","year":"2023"},{"key":"ref69","volume-title":"Structured Semidefinite Programs and Semialgebraic Geometry Methods in Robustness and Optimization","author":"Parrilo","year":"2000"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1142\/ICPOS"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(89)90002-2"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(99)00214-9"},{"key":"ref73","first-page":"1057","article-title":"Policy gradient methods for reinforcement learning with function approximation","author":"Sutton","year":"1999","journal-title":"Adv. Neural Inf. Process. Syst."},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1007\/BF00992698"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1109\/tnn.1998.712192"},{"key":"ref76","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46695-9_35"},{"key":"ref77","article-title":"Risk-sensitive path planning via CVAR barrier functions: Application to bipedal locomotion","author":"Ahmadi","year":"2020"},{"key":"ref78","first-page":"1783","article-title":"Safe optimal control using stochastic barrier functions and deep forward-backward sdes","volume-title":"Proc. Conf. Robot Learn.","author":"Pereira","year":"2021"},{"key":"ref79","first-page":"576","article-title":"Decentralized control of quadrotor swarms with end-to-end deep reinforcement learning","volume-title":"Proc. Conf. Robot Learn.","author":"Batra","year":"2022"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.23919\/ECC54610.2021.9655104"},{"key":"ref81","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA57147.2024.10610137"},{"key":"ref82","doi-asserted-by":"publisher","DOI":"10.1109\/tac.2026.3669443"},{"key":"ref83","doi-asserted-by":"publisher","DOI":"10.1109\/CDC51059.2022.9992692"},{"key":"ref84","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2023.10.315"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielam\/9\/11539063\/11418707-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/9\/11539063\/11418707.pdf?arnumber=11418707","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,30]],"date-time":"2026-05-30T04:16:46Z","timestamp":1780114606000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11418707\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,6]]},"references-count":84,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/tac.2026.3669443","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":[[2026,6]]}}}