{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T21:51:57Z","timestamp":1768341117910,"version":"3.49.0"},"reference-count":22,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,12,16]],"date-time":"2024-12-16T00:00:00Z","timestamp":1734307200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,12,16]],"date-time":"2024-12-16T00:00:00Z","timestamp":1734307200000},"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":[[2024,12,16]]},"DOI":"10.1109\/cdc56724.2024.10886850","type":"proceedings-article","created":{"date-parts":[[2025,2,26]],"date-time":"2025-02-26T18:43:32Z","timestamp":1740595412000},"page":"6844-6849","source":"Crossref","is-referenced-by-count":2,"title":["Data-Driven Permissible Safe Control with Barrier Certificates"],"prefix":"10.1109","author":[{"given":"Rayan","family":"Mazouz","sequence":"first","affiliation":[{"name":"University of Colorado,Boulder,USA"}]},{"given":"John","family":"Skovbekk","sequence":"additional","affiliation":[{"name":"University of Colorado,Boulder,USA"}]},{"given":"Frederik Baymler","family":"Mathiesen","sequence":"additional","affiliation":[{"name":"Delft University of Technology,Netherlands"}]},{"given":"Eric","family":"Frew","sequence":"additional","affiliation":[{"name":"University of Colorado,Boulder,USA"}]},{"given":"Luca","family":"Laurenti","sequence":"additional","affiliation":[{"name":"Delft University of Technology,Netherlands"}]},{"given":"Morteza","family":"Lahijanian","sequence":"additional","affiliation":[{"name":"University of Colorado,Boulder,USA"}]}],"member":"263","reference":[{"key":"ref1","article-title":"On a Formal Model of Safe and Scalable Self-driving Cars","author":"Shalev-Shwartz","year":"2017","journal-title":"arXiv preprint arXiv:1708.06374"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.robot.2017.04.004"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2020.109439"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/CDC49753.2023.10383410"},{"key":"ref5","article-title":"Safe model-based reinforcement learning with stability guarantees","volume":"30","author":"Berkenkamp","year":"2017","journal-title":"Advances in neural information processing systems"},{"key":"ref6","first-page":"844","article-title":"On kernelized multi-armed bandits","volume-title":"International Conference on Machine Learning","author":"Chowdhury"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2023.3340621"},{"key":"ref8","article-title":"Piecewise stochastic barrier functions","author":"Mazouz","year":"2024","journal-title":"arXiv preprint arXiv:2404.16986"},{"key":"ref9","article-title":"Data-driven computation of invariant sets of discrete time-invariant black-box systems","author":"Wang","year":"2019","journal-title":"arXiv preprint arXiv:1907.12075"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.3018438"},{"key":"ref11","first-page":"458","article-title":"Probabilistic invariance for gaussian process state space models","volume-title":"Learning for Dynamics and Control Conference","author":"Griffioen"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CDC40024.2019.9029489"},{"key":"ref13","article-title":"Formal verification of unknown dynamical systems via gaussian process regression","author":"Jackson","year":"2021","journal-title":"arXiv preprint arXiv:2201.00655"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.3013916"},{"key":"ref15","first-page":"624","article-title":"Formal synthesis of safety controllers for unknown stochastic control systems using gaussian process learning","volume-title":"Learning for Dynamics and Control Conference","author":"Wajid"},{"key":"ref16","article-title":"Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions","author":"Mazouz","year":"2022","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2022.3229865"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2022.3232542"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.2011.2182033"},{"key":"ref20","first-page":"67","article-title":"On the influence of the kernel on the consistency of support vector machines","volume":"2","author":"Steinwart","year":"2001","journal-title":"Journal of machine learning research"},{"key":"ref21","volume-title":"Gaussian Processes for Machine Learning","author":"Rasmussen","year":"2006"},{"key":"ref22","volume-title":"Stochastic optimal control: the discrete-time case","author":"Bertsekas","year":"2004"}],"event":{"name":"2024 IEEE 63rd Conference on Decision and Control (CDC)","location":"Milan, Italy","start":{"date-parts":[[2024,12,16]]},"end":{"date-parts":[[2024,12,19]]}},"container-title":["2024 IEEE 63rd Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10885784\/10885785\/10886850.pdf?arnumber=10886850","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,27]],"date-time":"2025-02-27T09:04:39Z","timestamp":1740647079000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10886850\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,12,16]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/cdc56724.2024.10886850","relation":{},"subject":[],"published":{"date-parts":[[2024,12,16]]}}}