{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:55:19Z","timestamp":1762102519945,"version":"3.37.3"},"reference-count":26,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"H2020 ERC Starting Grant AutoCPS","award":["804639"],"award-info":[{"award-number":["804639"]}]},{"DOI":"10.13039\/501100001659","name":"German Research Foundation","doi-asserted-by":"publisher","award":["ZA 873\/1-1"],"award-info":[{"award-number":["ZA 873\/1-1"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Research Training Group 2428"},{"name":"TUM International Graduate School of Science and Engineering"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Control Syst. Lett."],"published-print":{"date-parts":[[2021,1]]},"DOI":"10.1109\/lcsys.2020.3001562","type":"journal-article","created":{"date-parts":[[2020,6,11]],"date-time":"2020-06-11T20:44:21Z","timestamp":1591908261000},"page":"253-258","source":"Crossref","is-referenced-by-count":10,"title":["Synthesis of Partially Observed Jump-Diffusion Systems via Control Barrier Functions"],"prefix":"10.1109","volume":"5","author":[{"given":"Niloofar","family":"Jahanshahi","sequence":"first","affiliation":[]},{"given":"Pushpak","family":"Jagtap","sequence":"additional","affiliation":[]},{"given":"Majid","family":"Zamani","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3126508"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2019.8814901"},{"key":"ref12","article-title":"Synthesis of stochastic systems with partial information via control barrier functions","author":"jahanshahi","year":"2020","journal-title":"Proc 21st IFAC World Congress"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69826-5"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2009.2034836"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TCSI.2008.2007059"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TFUZZ.2006.881446"},{"journal-title":"Principles of Model Checking","year":"2008","author":"baier","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2480359.2429124"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/568438.568455"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2351652"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-50763-7_6"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.2975812"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-016-0233-6"},{"journal-title":"Formal synthesis of stochastic systems via control barrier certificates","year":"2019","author":"jagtap","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2638961"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0224-5"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3365365.3382196"},{"key":"ref1","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":"ref20","first-page":"1558","article-title":"Synthesis for LTL and LDL on finite traces","author":"de giacomo","year":"2015","journal-title":"Proc 24th Int Joint Conf Artif Intell"},{"key":"ref22","article-title":"Stochastic stability and control","author":"kushner","year":"1967","journal-title":"Mathematics in Science and Engineering"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2511722"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2002.1184594"},{"journal-title":"Artificial Intelligence A Modern Approach","year":"2003","author":"russell","key":"ref23"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/CCA.1995.555901"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1080\/10556789908805766"}],"container-title":["IEEE Control Systems Letters"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7782633\/9120059\/09115020.pdf?arnumber=9115020","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T14:54:15Z","timestamp":1652194455000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9115020\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,1]]},"references-count":26,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/lcsys.2020.3001562","relation":{},"ISSN":["2475-1456"],"issn-type":[{"type":"electronic","value":"2475-1456"}],"subject":[],"published":{"date-parts":[[2021,1]]}}}