{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T13:39:56Z","timestamp":1774964396776,"version":"3.50.1"},"reference-count":55,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T00:00:00Z","timestamp":1740787200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T00:00:00Z","timestamp":1740787200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T00:00:00Z","timestamp":1740787200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"U.K. EPSRC New Investigator Award CodeCPS","award":["EP\/V043676\/1"],"award-info":[{"award-number":["EP\/V043676\/1"]}]},{"name":"NWO Veni project CODEC","award":["18244"],"award-info":[{"award-number":["18244"]}]},{"name":"EIC project SymAware","award":["101070802"],"award-info":[{"award-number":["101070802"]}]},{"name":"ERC project Auto-CyPheR","award":["101089047"],"award-info":[{"award-number":["101089047"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2025,3]]},"DOI":"10.1109\/tac.2024.3459308","type":"journal-article","created":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T19:01:51Z","timestamp":1726081311000},"page":"1531-1546","source":"Crossref","is-referenced-by-count":4,"title":["Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations"],"prefix":"10.1109","volume":"70","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0214-6455","authenticated-orcid":false,"given":"Oliver","family":"Sch\u00f6n","sequence":"first","affiliation":[{"name":"School of Computing, Newcastle University, Newcastle upon Tyne, U.K."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1164-0508","authenticated-orcid":false,"given":"Birgit","family":"van Huijgevoort","sequence":"additional","affiliation":[{"name":"Electrical Engineering Department, Eindhoven University of Technology (TU), Eindhoven, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4749-4688","authenticated-orcid":false,"given":"Sofie","family":"Haesaert","sequence":"additional","affiliation":[{"name":"Electrical Engineering Department, Eindhoven University of Technology (TU), Eindhoven, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1922-6678","authenticated-orcid":false,"given":"Sadegh","family":"Soudjani","sequence":"additional","affiliation":[{"name":"Max Planck Institute for Software Systems, Kaiserslautern, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2022.3178143"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2023.3331385"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/LISAT.2013.6578215"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v37i12.26718"},{"key":"ref5","volume-title":"Principles of Model Checking","author":"Baier","year":"2008"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-50763-7"},{"key":"ref7","volume-title":"Pattern Recognition and Machine Learning (Information Science and Statistics)","author":"Bishop","year":"2006"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-34514-5"},{"key":"ref9","volume-title":"Probability Theory: An Advanced Course","author":"Borkar","year":"2012"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/OJCSYS.2022.3206083"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2018.08.009"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.2307\/2282774"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/CDC51059.2022.9992667"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v35i8.16912"},{"key":"ref15","first-page":"854","article-title":"Linear temporal logic and linear dynamic logic on finite traces","volume-title":"Proc. IJCAI Int. Joint Conf. Artif. Intell.","author":"Giacomo","year":"2013"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.09.016"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.17.568-578"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2018.08.046"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.3010490"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1137\/16M1079397"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2017.01.037"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2015.7139022"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60630-0_5"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/CDC42340.2020.9303814"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/CDC42340.2020.9303847"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-010-1436-6_6"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2022.3173993"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2024.101467"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-85729-522-4"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/MCS.2013.2270410"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011254632723"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2022.110617"},{"key":"ref33","first-page":"2055","article-title":"Sampling-based reachability analysis: A random set theory approach with adversarial sampling","volume-title":"Proc. Conf. Robot Learn.","author":"Lew","year":"2021"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/3580490"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.23919\/ACC55779.2023.10156496"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2021.08.473"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2023.3290362"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2023.3297984"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.902736"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/3635160"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/3206.001.0001"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2023.3340995"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/CDC49753.2023.10383997"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2023.111323"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/CDC51059.2022.9992723"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/CDC49753.2023.10383307"},{"key":"ref48","article-title":"Bayesian polynomial chaos","volume-title":"Proc. Workshop Mach. Learn. Eng. Model., Simul. Des.","author":"Seshadri","year":"2020"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/tnn.1998.712192"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0224-5"},{"key":"ref51","first-page":"790","article-title":"Data-driven chance constrained control using kernel distribution embeddings","volume-title":"Proc. Learn. Dyn. Control Conf.","author":"Thorpe","year":"2022"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(95)00094-x"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1145\/3575870.3587123"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2022.110476"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.326.11"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/9\/10906769\/10678810.pdf?arnumber=10678810","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,28]],"date-time":"2025-02-28T19:04:12Z","timestamp":1740769452000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10678810\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,3]]},"references-count":55,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tac.2024.3459308","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,3]]}}}