{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T21:18:40Z","timestamp":1768339120395,"version":"3.49.0"},"reference-count":28,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T00:00:00Z","timestamp":1751932800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T00:00:00Z","timestamp":1751932800000},"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":[[2025,7,8]]},"DOI":"10.23919\/acc63710.2025.11108000","type":"proceedings-article","created":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T18:17:51Z","timestamp":1755800271000},"page":"4940-4946","source":"Crossref","is-referenced-by-count":1,"title":["Learning-Based Shielding for Safe Autonomy under Unknown Dynamics"],"prefix":"10.23919","author":[{"given":"Robert","family":"Reed","sequence":"first","affiliation":[{"name":"University of Colorado Boulder,Department of Aerospace Engineering Sciences,Boulder,Colorado,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Morteza","family":"Lahijanian","sequence":"additional","affiliation":[{"name":"University of Colorado Boulder,Department of Aerospace Engineering Sciences,Boulder,Colorado,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46681-0_51"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v32i1.11797"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.2514\/6.2020-0386"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.23919\/ACC53348.2022.9867762"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.23919\/ACC60939.2024.10644855"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2023\/637"},{"key":"ref7","article-title":"Safe reinforcement learning using probabilistic shields","volume-title":"CONCUR.","author":"Jansen","year":"2020"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2023.3340995"},{"key":"ref9","article-title":"The promises and pitfalls of deep kernel learning","volume-title":"UAI.","author":"Ober","year":"2021"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011254632723"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CDC56724.2024.10886850"},{"key":"ref12","article-title":"Formal synthesis of safety controllers for unknown stochastic control systems using gaussian process learning","volume-title":"L4DC.","author":"Wajid","year":"2022"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/tac.2020.3013916"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2020.109439"},{"key":"ref15","article-title":"On kernelized multi-armed bandits","volume-title":"ICML.","author":"Chowdhury","year":"2017"},{"key":"ref16","article-title":"Online learning for linearly parametrized control problems","author":"Abbasi-Yadkori","year":"2013"},{"key":"ref17","article-title":"On the influence of the kernel on the consistency of support vector machines","author":"Steinwart","year":"2001","journal-title":"JMLR"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2011.5990952"},{"key":"ref19","volume-title":"Principles of model checking.","author":"Baier","year":"2008"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2025.3532812"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/3206.001.0001"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(00)00047-3"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2398883"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v39i19.34220"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2023.3340621"},{"key":"ref26","article-title":"Learning-based shielding for safe autonomy under unknown dynamics","author":"Reed","year":"2024"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2022.3178143"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.2514\/1.I010762"}],"event":{"name":"2025 American Control Conference (ACC)","location":"Denver, CO, USA","start":{"date-parts":[[2025,7,8]]},"end":{"date-parts":[[2025,7,10]]}},"container-title":["2025 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11107441\/11107442\/11108000.pdf?arnumber=11108000","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T05:49:45Z","timestamp":1755841785000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11108000\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,7,8]]},"references-count":28,"URL":"https:\/\/doi.org\/10.23919\/acc63710.2025.11108000","relation":{},"subject":[],"published":{"date-parts":[[2025,7,8]]}}}