{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,14]],"date-time":"2026-01-14T01:03:20Z","timestamp":1768352600623,"version":"3.49.0"},"reference-count":30,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,12,14]],"date-time":"2020-12-14T00:00:00Z","timestamp":1607904000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,12,14]],"date-time":"2020-12-14T00:00:00Z","timestamp":1607904000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,12,14]],"date-time":"2020-12-14T00:00:00Z","timestamp":1607904000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100010174","name":"University of Colorado","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100010174","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100014411","name":"Center for Unmanned Aircraft Systems","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100014411","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,12,14]]},"DOI":"10.1109\/cdc42340.2020.9303814","type":"proceedings-article","created":{"date-parts":[[2021,1,13]],"date-time":"2021-01-13T07:27:32Z","timestamp":1610522852000},"page":"860-866","source":"Crossref","is-referenced-by-count":14,"title":["Safety Verification of Unknown Dynamical Systems via Gaussian Process Regression"],"prefix":"10.1109","author":[{"given":"John","family":"Jackson","sequence":"first","affiliation":[]},{"given":"Luca","family":"Laurenti","sequence":"additional","affiliation":[]},{"given":"Eric","family":"Frew","sequence":"additional","affiliation":[]},{"given":"Morteza","family":"Lahijanian","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref30","article-title":"Gaussianprocesses. jl: A nonparametric bayes package for the julia language","author":"fairbrother","year":"2018"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.895849"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1016\/j.ifacol.2018.08.026","article-title":"Learning and verification of feedback control systems using feedforward neural networks","volume":"51","author":"dutta","year":"2018","journal-title":"IFAC-PapersOnLine"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2017.01.037"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2019.108533"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8264626"},{"key":"ref15","first-page":"63","article-title":"Gaussian processes in machine learning","author":"rasmussen","year":"2003","journal-title":"Machine Learning Summer School"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v33i01.33017759"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ECC.2015.7330913"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.2011.2182033"},{"key":"ref19","first-page":"1884","article-title":"Pac-bayesian theory meets bayesian inference","author":"germain","year":"2016","journal-title":"Advances in neural information processing systems"},{"key":"ref28","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/978-3-319-66335-7_13","article-title":"Multi-objective robust strategy synthesis for interval Markov decision processes","author":"hahn","year":"2017","journal-title":"1st Int Conf on Quantitative Evaluation of Systems (QEST)"},{"key":"ref4","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-50763-7","volume":"89","author":"belta","year":"2017","journal-title":"Formal Methods for Discrete-Time Dynamical Systems"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(00)00047-3"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0224-5"},{"key":"ref6","volume":"24","author":"kushner","year":"2013","journal-title":"Numerical Methods for Stochastic Control Problems in Continuous Time"},{"key":"ref29","doi-asserted-by":"crossref","DOI":"10.1109\/CDC42340.2020.9303814","article-title":"Safety verification of unknown dynamical systems via gaussian process regression","author":"jackson","year":"2020"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10575-8_30"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2398883"},{"key":"ref7","first-page":"272","article-title":"Faust2: Formal abstractions of uncountable-state stochastic processes","author":"soudjani","year":"2015","journal-title":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref2","author":"baier","year":"2008","journal-title":"Principles of Model Checking"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.2975028"},{"key":"ref1","author":"clarke","year":"1999","journal-title":"Model checking"},{"key":"ref20","first-page":"844","article-title":"On kernelized multi-armed bandits","author":"chowdhury","year":"0"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039601"},{"key":"ref21","first-page":"657","article-title":"Uniform error bounds for gaussian process regression with application to safe control","author":"lederer","year":"2019","journal-title":"Advances in neural information processing systems"},{"key":"ref24","first-page":"908","article-title":"Safe model-based reinforcement learning with stability guarantees","author":"berkenkamp","year":"2017","journal-title":"Advances in neural information processing systems"},{"key":"ref23","first-page":"997","article-title":"Safe exploration for optimization with gaussian processes","volume":"37","author":"sui","year":"2015","journal-title":"Machine Learning Research"},{"key":"ref26","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":"ref25","article-title":"Safety guarantees for planning based on iterative gaussian processes","author":"polymenakos","year":"2019"}],"event":{"name":"2020 59th IEEE Conference on Decision and Control (CDC)","location":"Jeju, Korea (South)","start":{"date-parts":[[2020,12,14]]},"end":{"date-parts":[[2020,12,18]]}},"container-title":["2020 59th IEEE Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9303728\/9303729\/09303814.pdf?arnumber=9303814","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,27]],"date-time":"2022-06-27T15:54:00Z","timestamp":1656345240000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9303814\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,12,14]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/cdc42340.2020.9303814","relation":{},"subject":[],"published":{"date-parts":[[2020,12,14]]}}}