{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,5]],"date-time":"2026-05-05T04:58:36Z","timestamp":1777957116854,"version":"3.51.4"},"reference-count":29,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"10","license":[{"start":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T00:00:00Z","timestamp":1759276800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T00:00:00Z","timestamp":1759276800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T00:00:00Z","timestamp":1759276800000},"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":["IEEE Robot. Autom. Lett."],"published-print":{"date-parts":[[2025,10]]},"DOI":"10.1109\/lra.2025.3596431","type":"journal-article","created":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T18:01:53Z","timestamp":1754503313000},"page":"9630-9637","source":"Crossref","is-referenced-by-count":3,"title":["Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation"],"prefix":"10.1109","volume":"10","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0069-0182","authenticated-orcid":false,"given":"Luca","family":"Marzari","sequence":"first","affiliation":[{"name":"Department of Computer Science, University of Verona, Verona, Italy"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2446-3635","authenticated-orcid":false,"given":"Francesco","family":"Trotti","sequence":"additional","affiliation":[{"name":"Department of Engineering for Innovation Medicine, University of Verona, Verona, Italy"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1858-7279","authenticated-orcid":false,"given":"Enrico","family":"Marchesini","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, Cambridge, MA, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2592-5814","authenticated-orcid":false,"given":"Alessandro","family":"Farinelli","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Verona, Verona, Italy"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1111\/jwas.12714"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/S0065-2113(08)60513-1"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1115\/omae2023-105124"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1177\/0278364918755924"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.23919\/ECC57647.2023.10178396"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.23919\/ECC64448.2024.10591307"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/IROS58592.2024.10802254"},{"key":"ref8","first-page":"18964","article-title":"Safety Gymnasium: A unified safe reinforcement learning benchmark","volume-title":"Proc. 37th Conf. Neural Inf. Process. Syst. Datasets Benchmarks Track","author":"Ji","year":"2023"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48891.2023.10161312"},{"issue":"1","key":"ref10","first-page":"13774","article-title":"OmniSafe: An infrastructure for accelerating safe reinforcement learning research","volume":"25","author":"Ji","year":"2024","journal-title":"J. Mach. Learn. Res."},{"key":"ref11","article-title":"Intriguing properties of neural networks","author":"Szegedy","year":"2013"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1561\/2400000035"},{"key":"ref13","first-page":"6727","article-title":"PROVEN: Verifying robustness of neural networks with a probabilistic approach","volume-title":"Proc. Int. Conf. Mach. Learn.","author":"Weng","year":"2019"},{"key":"ref14","first-page":"217","article-title":"The #DNN-verification problem: Counting unsafe inputs for deep neural networks","volume-title":"Proc. 32nd Int. Joint Conf. Artif. Intell.","author":"Marzari","year":"2023"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v38i19.30134"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2638961"},{"key":"ref17","first-page":"1970","article-title":"Safe control under input limits with neural control barrier functions","volume-title":"Proc. Conf. Robot Learn.","author":"Liu","year":"2023"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/IROS58592.2024.10802694"},{"key":"ref19","first-page":"686","article-title":"A dynamic safety shield for safe and efficient reinforcement learning of navigation tasks","volume-title":"Proc. 7th Annu. Conf. Learn. Dyn. Control","author":"Dawood","year":"2025"},{"key":"ref20","first-page":"9133","article-title":"Responsive safety in reinforcement learning by PID Lagrangian methods","volume-title":"Proc. Int. Conf. Mach. Learn.","author":"Stooke","year":"2020"},{"key":"ref21","first-page":"1466","article-title":"Safe deep reinforcement learning by verifying task-level properties","volume-title":"Proc. Int. Conf. Auton. Agents Multiagent Syst.","author":"Marchesini","year":"2023"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.23919\/ACC60939.2024.10644435"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1515\/pomr-2016-0005"},{"key":"ref24","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-46024-6","volume-title":"Nonlinear Model Predictive Control","author":"Grne","year":"2017"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1137\/S0363012993259981"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.12794\/metadc1505267"},{"key":"ref27","first-page":"1861","article-title":"Soft actor-critic: Off-policy maximum entropy deep reinforcement learning with a stochastic actor","volume-title":"Proc. Int. Conf. Mach. Learn.","author":"Haarnoja","year":"2018"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2022\/520"},{"key":"ref29","first-page":"1464","article-title":"Improving policy optimization via $\\varepsilon$-retrain","volume-title":"Proc. 24th Int. Conf. Auton. Agents Multiagent Syst.","author":"Marzari","year":"2025"}],"container-title":["IEEE Robotics and Automation Letters"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/7083369\/11125679\/11117187.pdf?arnumber=11117187","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,18]],"date-time":"2025-08-18T19:47:32Z","timestamp":1755546452000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11117187\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10]]},"references-count":29,"journal-issue":{"issue":"10"},"URL":"https:\/\/doi.org\/10.1109\/lra.2025.3596431","relation":{},"ISSN":["2377-3766","2377-3774"],"issn-type":[{"value":"2377-3766","type":"electronic"},{"value":"2377-3774","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10]]}}}