{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T16:35:07Z","timestamp":1759336507995,"version":"3.37.3"},"reference-count":21,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Control Syst. Lett."],"published-print":{"date-parts":[[2024]]},"DOI":"10.1109\/lcsys.2024.3417852","type":"journal-article","created":{"date-parts":[[2024,6,20]],"date-time":"2024-06-20T17:49:16Z","timestamp":1718905756000},"page":"2069-2074","source":"Crossref","is-referenced-by-count":1,"title":["Enhancing Data-Driven Stochastic Control via Bundled Interval MDP"],"prefix":"10.1109","volume":"8","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1876-6827","authenticated-orcid":false,"given":"Rudi","family":"Coppola","sequence":"first","affiliation":[{"name":"Faculty of Mechanical Engineering, TU Delft, Delft, CD, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7767-2935","authenticated-orcid":false,"given":"Andrea","family":"Peruffo","sequence":"additional","affiliation":[{"name":"Faculty of Mechanical Engineering, TU Delft, Delft, CD, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5716-6162","authenticated-orcid":false,"given":"Licio","family":"Romao","sequence":"additional","affiliation":[{"name":"Department of Aeronautics and Astronautics, Stanford University, Stanford, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5627-9093","authenticated-orcid":false,"given":"Alessandro","family":"Abate","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Oxford, Oxford, U.K."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5638-5283","authenticated-orcid":false,"given":"Manuel","family":"Mazo","sequence":"additional","affiliation":[{"name":"Faculty of Mechanical Engineering, TU Delft, Delft, CD, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","first-page":"1","article-title":"Probabilities are not enough: Formal controller synthesis for stochastic dynamical systems with epistemic uncertainty","volume-title":"Proc. AAAI Conf. Artif. Intell.","author":"Badings"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1.14253"},{"volume-title":"Principles of Model Checking","year":"2008","author":"Baier","key":"ref3"},{"key":"ref4","first-page":"891","article-title":"Data-driven memory-dependent abstractions of dynamical systems","volume-title":"Proc. Learn. Dyn. Control Conf.","author":"Banse"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/CDC49753.2023.10383513"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s10957-010-9754-6"},{"key":"ref7","article-title":"Data-driven abstractions for verification of deterministic systems","author":"Coppola","year":"2022","journal-title":"arXiv:2211.01793"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2023.3288731"},{"key":"ref9","article-title":"Data-driven abstractions for control systems","author":"Coppola","year":"2024","journal-title":"arXiv:2402.10668"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-45190-5_16"},{"key":"ref11","first-page":"124","article-title":"Model reduction techniques for computing approximately optimal solutions for Markov decision processes","volume-title":"Proc. 13th Conf. Uncertain. Artif. Intell.","author":"Dean"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CDC45484.2021.9683316"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(00)00047-3"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_47"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2022.3188535"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1287\/opre.1050.0216"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2022.3186187"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TCNS.2024.3425646"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2022.3165320"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.spl.2012.02.021"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0224-5"}],"container-title":["IEEE Control Systems Letters"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/7782633\/10411713\/10566855.pdf?arnumber=10566855","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,24]],"date-time":"2024-10-24T17:32:35Z","timestamp":1729791155000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10566855\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/lcsys.2024.3417852","relation":{},"ISSN":["2475-1456"],"issn-type":[{"type":"electronic","value":"2475-1456"}],"subject":[],"published":{"date-parts":[[2024]]}}}