{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,27]],"date-time":"2026-05-27T15:04:39Z","timestamp":1779894279108,"version":"3.53.1"},"reference-count":47,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2021,6,1]],"date-time":"2021-06-01T00:00:00Z","timestamp":1622505600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,6,1]],"date-time":"2021-06-01T00:00:00Z","timestamp":1622505600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,6,1]],"date-time":"2021-06-01T00:00:00Z","timestamp":1622505600000},"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 Trans. Automat. Contr."],"published-print":{"date-parts":[[2021,6]]},"DOI":"10.1109\/tac.2020.3010490","type":"journal-article","created":{"date-parts":[[2020,7,20]],"date-time":"2020-07-20T20:58:30Z","timestamp":1595278710000},"page":"2496-2511","source":"Crossref","is-referenced-by-count":25,"title":["Robust Dynamic Programming for Temporal Logic Control of Stochastic Systems"],"prefix":"10.1109","volume":"66","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4749-4688","authenticated-orcid":false,"given":"Sofie","family":"Haesaert","sequence":"first","affiliation":[{"name":"Department of Electrical Engineering, Eindhoven University of Technology, Eindhoven, The Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1922-6678","authenticated-orcid":false,"given":"Sadegh","family":"Soudjani","sequence":"additional","affiliation":[{"name":"School of Computing, Newcastle University, Newcastle Upon Tyne, U.K."}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-016-0287-9"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1137\/120871456"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2017.2760515"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2018.XIV.047"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1287\/opre.1050.0216"},{"key":"ref30","first-page":"1","article-title":"Symbolic controller synthesis for Büchi specifications on stochastic systems","author":"majumdar","year":"0","journal-title":"Proc Int Conf Hybrid Syst Comput Control"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33386-6_32"},{"key":"ref36","article-title":"Formal abstractions for automated verification and synthesis of stochastic systems","author":"soudjani","year":"2014"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/9.29399"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.902736"},{"key":"ref10","first-page":"1558","article-title":"Synthesis for LTL and LDL on finite traces","author":"de giacomo","year":"0","journal-title":"Proc 24th Int Conf Artif Intell"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46681-0_23"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2003.09.013"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2006.377825"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.09.016"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-43425-4_16"},{"key":"ref15","article-title":"Robust dynamic programming for temporal logic control of stochastic systems","author":"haesaert","year":"2018"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1137\/16M1079397"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2018.08.013"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3126508"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2019791"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2018.08.045"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1997.614943"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8264180"},{"key":"ref3","author":"bertsekas","year":"1996","journal-title":"Stochastic Optimal Control The Discrete Time Case"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511804441"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2535128"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-34514-5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/242223.242257"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-17465-1_14"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.03.027"},{"key":"ref9","first-page":"854","article-title":"Linear temporal logic and linear dynamic logic on finite traces","author":"de giacomo","year":"0","journal-title":"Proc 23rd Int Joint Conf Artif Intell"},{"key":"ref1","first-page":"62","article-title":"ARCH-COMP19 category report: Stochastic modelling","author":"abate","year":"2019","journal-title":"Proceeding 6th International Workshop on Applied Verification of Continuous and Hybrid Systems"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/3178126.3178148"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461374"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2017.2716364"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2010.04.001"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1287\/moor.1120.0566"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1613\/jair.5500"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2011.6160617"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011254632723"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2016.04.006"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011254632723"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2016.11.006"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90030-6"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461373"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_47"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9\/9442408\/09144391.pdf?arnumber=9144391","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,15]],"date-time":"2025-01-15T20:35:38Z","timestamp":1736973338000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9144391\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6]]},"references-count":47,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/tac.2020.3010490","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":[[2021,6]]}}}