{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T18:58:25Z","timestamp":1774378705739,"version":"3.50.1"},"reference-count":66,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"8","license":[{"start":{"date-parts":[[2025,8,1]],"date-time":"2025-08-01T00:00:00Z","timestamp":1754006400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,8,1]],"date-time":"2025-08-01T00:00:00Z","timestamp":1754006400000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,8,1]],"date-time":"2025-08-01T00:00:00Z","timestamp":1754006400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,8,1]],"date-time":"2025-08-01T00:00:00Z","timestamp":1754006400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"NSF","award":["2039062"],"award-info":[{"award-number":["2039062"]}]},{"name":"NSF Center for Unmanned Aircraft Systems","award":["IIP-1650468"],"award-info":[{"award-number":["IIP-1650468"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2025,8]]},"DOI":"10.1109\/tac.2025.3532812","type":"journal-article","created":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T14:04:20Z","timestamp":1737554660000},"page":"4960-4975","source":"Crossref","is-referenced-by-count":3,"title":["Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression"],"prefix":"10.1109","volume":"70","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0470-9055","authenticated-orcid":false,"given":"John","family":"Skovbekk","sequence":"first","affiliation":[{"name":"Smead Aerospace Engineering Sciences Department, University of Colorado, Boulder, CO, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1190-6097","authenticated-orcid":false,"given":"Luca","family":"Laurenti","sequence":"additional","affiliation":[{"name":"Delft Center for Systems and Control, TU Delft, Delft, The Netherlands"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3686-089X","authenticated-orcid":false,"given":"Eric","family":"Frew","sequence":"additional","affiliation":[{"name":"Smead Aerospace Engineering Sciences Department, University of Colorado, Boulder, CO, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7549-4365","authenticated-orcid":false,"given":"Morteza","family":"Lahijanian","sequence":"additional","affiliation":[{"name":"Smead Aerospace Engineering Sciences Department, University of Colorado, Boulder, CO, USA"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1283920.1962298"},{"key":"ref2","volume-title":"Principles of Model Checking","author":"Baier","year":"2008"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-021-05946-3"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0224-5"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-50763-7"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10575-8_30"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-0441-8"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46681-0_23"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2398883"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.2975028"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2012.6426184"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311805"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-28650-9_4"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.2011.2182033"},{"key":"ref15","first-page":"844","article-title":"On kernelized multi-armed bandits","volume-title":"Proc. 34th Int. Conf. Mach. Learn.","author":"Chowdhury","year":"2017"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3243127.3243129"},{"key":"ref17","article-title":"Verification for machine learning, autonomy, and neural networks survey","author":"Xiang","year":"2018"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.895849"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-16595-0_20"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2014.6907293"},{"key":"ref21","first-page":"2549","article-title":"Optimal and efficient stochastic motion planning in partially-known environments","volume-title":"Proc. 28th AAAI Conf. Artif. Intell.","author":"Luna","year":"2014"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66335-7_13"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/3309683"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2017.01.037"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2019.108533"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2021.109781"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v36i9.21201"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/s10208-019-09426-y"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-32079-9_20"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_22"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2020.3001882"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48506.2021.9561561"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/CCTA48906.2021.9659123"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-99524-9_17"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2023.3255141"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2023.3257167"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/3576841.3585919"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/CDC42340.2020.9303814"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2022.3185410"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2022.3173993"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2022.110646"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2022.3186187"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2020.3012251"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039601"},{"key":"ref45","first-page":"997","article-title":"Safe exploration for optimization with Gaussian processes","volume-title":"Proc. Mach. Learn. Res.","author":"Sui","year":"2015"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7798979"},{"key":"ref47","first-page":"908","article-title":"Safe model-based reinforcement learning with stability guarantees","volume-title":"Proc. 31st Int. Conf. Neural Inf. Process. Syst.","author":"Berkenkamp","year":"2017"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2019.2896728"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/CDC42340.2020.9303847"},{"key":"ref50","first-page":"624","article-title":"Formal synthesis of safety controllers for unknown stochastic control systems using Gaussian process learning","volume-title":"Proc. 4th Annu. Learn. Dyn. Control Conf.","author":"Wajid","year":"2022"},{"key":"ref51","volume-title":"Concentration Inequalities and Model Selection","volume":"6","author":"Massart","year":"2007"},{"key":"ref52","volume-title":"Stochastic Optimal Control: The Discrete-Time Case","author":"Bertsekas","year":"2004"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1016\/j.spl.2014.01.009"},{"key":"ref54","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":"J. Mach. Learn. Res."},{"key":"ref55","first-page":"2651","article-title":"Universal kernels","volume":"7","author":"Micchelli","year":"2006","journal-title":"J. Mach. Learn. Res."},{"key":"ref56","first-page":"657","article-title":"Uniform error bounds for Gaussian process regression with application to safe control","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","author":"Lederer","year":"2019"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(00)00047-3"},{"key":"ref58","first-page":"3372","article-title":"Adversarial robustness guarantees for classification with Gaussian processes","volume-title":"Proc. 23rd Int. Conf. Artif. Intell. Statist.","author":"Blaas","year":"2020"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2021.3068889"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1109\/TNNLS.2020.2978805"},{"key":"ref61","first-page":"82","article-title":"On information gain and regret bounds in Gaussian process bandits","volume-title":"Proc. 24th Int. Conf. Artif. Intell. Statist.","author":"Vakili","year":"2021"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1109\/CDC45484.2021.9683751"},{"key":"ref63","article-title":"Simple, fast and practicable algorithms for Cholesky, LU and QR decomposition using fast rectangular matrix multiplication","author":"Camarero","year":"2018"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.3013916"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1109\/CDC45484.2021.9683557"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781316219232"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielam\/9\/11099039\/10849583-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/9\/11099039\/10849583.pdf?arnumber=10849583","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,29]],"date-time":"2026-01-29T21:28:13Z","timestamp":1769722093000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10849583\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8]]},"references-count":66,"journal-issue":{"issue":"8"},"URL":"https:\/\/doi.org\/10.1109\/tac.2025.3532812","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":[[2025,8]]}}}