{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,10]],"date-time":"2025-07-10T00:01:51Z","timestamp":1752105711724,"version":"3.41.2"},"reference-count":23,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"National Science Foundation (NSF) Center for Autonomous Air Mobility & Sensing","award":["2137269"],"award-info":[{"award-number":["2137269"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Control Syst. Lett."],"published-print":{"date-parts":[[2025]]},"DOI":"10.1109\/lcsys.2025.3580356","type":"journal-article","created":{"date-parts":[[2025,6,16]],"date-time":"2025-06-16T15:02:17Z","timestamp":1750086137000},"page":"1177-1182","source":"Crossref","is-referenced-by-count":0,"title":["On Polynomial Stochastic Barrier Functions: Bernstein Versus Sum-of-Squares"],"prefix":"10.1109","volume":"9","author":[{"ORCID":"https:\/\/orcid.org\/0009-0005-8536-9580","authenticated-orcid":false,"given":"Peter","family":"Amorese","sequence":"first","affiliation":[{"name":"Department of Aerospace Engineering Sciences, University of Colorado Boulder, Boulder, CO, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7549-4365","authenticated-orcid":false,"given":"Morteza","family":"Lahijanian","sequence":"additional","affiliation":[{"name":"Department of Aerospace Engineering Sciences, University of Colorado Boulder, Boulder, CO, USA"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.902736"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2020.109439"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2022.3229865"},{"key":"ref4","article-title":"Piecewise stochastic barrier functions","author":"Mazouz","year":"2024","journal-title":"arXiv:2404.16986"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.3013916"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/BF02592948"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/BF01362149"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-16437-5_5"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1093\/imamci\/dnv003"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2023.3340621"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2022.101204"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311805"},{"key":"ref13","article-title":"A unifying perspective for safety of stochastic systems: From barrier functions to finite abstractions","author":"Laurenti","year":"2023","journal-title":"arXiv:2310.01802"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v37i10.26407"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2023.10.680"},{"key":"ref16","article-title":"Counterexample to global convergence of DSOS and SDSOS hierarchies","author":"Josz","year":"2017","journal-title":"arXiv:1707.02964"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.jco.2006.07.002"},{"key":"ref18","first-page":"9672","article-title":"Safety guarantees for neural network dynamic systems via stochastic barrier functions","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","volume":"35","author":"Mazouz"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1137\/1038003"},{"issue":"633","key":"ref20","first-page":"364","article-title":"\u00dcber die analytische Darstellbarkeit sogenannter willk\u00fcrlicher Functionen einer Reellen Ver\u00e4nderlichen","volume":"2","author":"Weierstrass","year":"1885","journal-title":"Sitzungsberichte der K\u00f6niglich Preu\u03b2ischen Akademie der Wissenschaften zu Berlin"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511804441"},{"volume-title":"On polynomial stochastic barrier functions: Bernstein versus sum-of-squares","year":"2025","author":"Amorese","key":"ref22"},{"issue":"6","key":"ref23","first-page":"154","article-title":"The Bernstein algorithm","volume":"2","author":"Garloff","year":"1993","journal-title":"Interval Comput."}],"container-title":["IEEE Control Systems Letters"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielam\/7782633\/10939047\/11037484-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/7782633\/10939047\/11037484.pdf?arnumber=11037484","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,9]],"date-time":"2025-07-09T21:16:13Z","timestamp":1752095773000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11037484\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/lcsys.2025.3580356","relation":{},"ISSN":["2475-1456"],"issn-type":[{"type":"electronic","value":"2475-1456"}],"subject":[],"published":{"date-parts":[[2025]]}}}