{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,22]],"date-time":"2026-01-22T22:11:13Z","timestamp":1769119873085,"version":"3.49.0"},"reference-count":48,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"7","license":[{"start":{"date-parts":[[2024,7,1]],"date-time":"2024-07-01T00:00:00Z","timestamp":1719792000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,7,1]],"date-time":"2024-07-01T00:00:00Z","timestamp":1719792000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,7,1]],"date-time":"2024-07-01T00:00:00Z","timestamp":1719792000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"Swedish Research Council Distinguished","award":["2017\u201301078"],"award-info":[{"award-number":["2017\u201301078"]}]},{"name":"Swedish Research Council International Postdoc","award":["2021\u201306727"],"award-info":[{"award-number":["2021\u201306727"]}]},{"name":"Knut and Alice Wallenberg Foundation Wallenberg Scholar Grant"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2024,7]]},"DOI":"10.1109\/tac.2023.3341282","type":"journal-article","created":{"date-parts":[[2023,12,11]],"date-time":"2023-12-11T20:07:52Z","timestamp":1702325272000},"page":"4598-4613","source":"Crossref","is-referenced-by-count":4,"title":["Distributional Reachability for Markov Decision Processes: Theory and Applications"],"prefix":"10.1109","volume":"69","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2338-5487","authenticated-orcid":false,"given":"Yulong","family":"Gao","sequence":"first","affiliation":[{"name":"Department of Electrical and Electronic Engineering Imperial College London, London, U.K."}]},{"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."}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7137-4136","authenticated-orcid":false,"given":"Lihua","family":"Xie","sequence":"additional","affiliation":[{"name":"School of Electrical and Electronic Engineering, Nanyang Technological University, Singapore"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9940-5929","authenticated-orcid":false,"given":"Karl Henrik","family":"Johansson","sequence":"additional","affiliation":[{"name":"Division of Decision and Control Systems, KTH Royal Institute of Technology, and with Digital Futures, Stockholm, Sweden"}]}],"member":"263","reference":[{"key":"ref1","volume-title":"Principles of Model Checking","author":"Baier","year":"2008"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.03.027"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2013.6760628"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2011.22"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2629417"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1512\/iumj.1957.6.56038"},{"key":"ref7","volume-title":"Markov Decision Processes: Discrete Stochastic Dynamic Programming","author":"Puterman","year":"2014"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1287\/moor.12.3.441"},{"key":"ref9","volume-title":"Dynamic Programming and Optimal Control: Volume I","author":"Bertsekas","year":"2012"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/tnn.1998.712192"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1201\/9781315140223"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/0022-247x(65)90154-x"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1287\/opre.21.5.1071"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1287\/opre.26.2.282"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72522-0_6"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1985.12"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2010.04.001"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63390-9_31"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2021.3071334"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2010.08.006"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967715"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2013.09.032"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54862-8_45"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461373"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2016.11.006"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2011.6160617"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2185632.2185664"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2019.8815132"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2004.1429313"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/acc.2006.1657431"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2018.2849556"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/3209108.3209185"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1177\/0278364919846340"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2457784"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2457791"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2018.2791362"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1561\/2200000073"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-8176-4606-6"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.3018438"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/BF01587086"},{"key":"ref41","volume-title":"Variational Analysis","author":"Rockafellar","year":"2009"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/0-387-32792-4"},{"key":"ref43","first-page":"284","article-title":"YALMIP : A toolbox for modeling and optimization in MATLAB","volume-title":"Proc. CACSD Conf.","author":"Lfberg","year":"2004"},{"key":"ref44","article-title":"The MOSEK optimization toolbox for MATLAB manual. Version 10.0.","year":"2022"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2010.35"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2013.6669862"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/235815.235821"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1007\/s00186-016-0554-0"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9\/10575939\/10352647.pdf?arnumber=10352647","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,28]],"date-time":"2024-06-28T05:00:30Z","timestamp":1719550830000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10352647\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7]]},"references-count":48,"journal-issue":{"issue":"7"},"URL":"https:\/\/doi.org\/10.1109\/tac.2023.3341282","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":[[2024,7]]}}}