{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:56:22Z","timestamp":1762102582278,"version":"3.37.3"},"reference-count":25,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[2021,11,1]],"date-time":"2021-11-01T00:00:00Z","timestamp":1635724800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,11,1]],"date-time":"2021-11-01T00:00:00Z","timestamp":1635724800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,11,1]],"date-time":"2021-11-01T00:00:00Z","timestamp":1635724800000},"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":[[2021,11]]},"DOI":"10.1109\/lcsys.2020.3044263","type":"journal-article","created":{"date-parts":[[2020,12,11]],"date-time":"2020-12-11T23:06:25Z","timestamp":1607727985000},"page":"1765-1770","source":"Crossref","is-referenced-by-count":1,"title":["Formal Multi-Objective Synthesis of Continuous-State MDPs"],"prefix":"10.1109","volume":"5","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4749-4688","authenticated-orcid":false,"given":"Sofie","family":"Haesaert","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8748-6936","authenticated-orcid":false,"given":"Petter","family":"Nilsson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1922-6678","authenticated-orcid":false,"given":"Sadegh","family":"Soudjani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1137\/16M1079397"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2018.08.013"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3309683"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2283095"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/CDC40024.2019.9029607"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1613\/jair.5500"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1137\/130914565"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2398883"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3178126.3178135"},{"key":"ref19","first-page":"1","article-title":"Symbolic controller synthesis for Büchi specifications on stochastic systems","author":"majumdar","year":"2020","journal-title":"Proc Hybrid Syst Comput Control"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311805"},{"journal-title":"Stochastic Optimal Control The Discrete Time Case","year":"1996","author":"bertsekas","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71209-1_6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.3014142"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2018.2799561"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2015.7403398"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-50763-7"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.3010490"},{"journal-title":"Principles of Model Checking","year":"2008","author":"baier","key":"ref1"},{"article-title":"Formal techniques for the verification and optimal control of probabilistic systems in the presence of modeling uncertainties","year":"2014","author":"puggelli","key":"ref20"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-016-0287-9"},{"key":"ref21","doi-asserted-by":"crossref","DOI":"10.1002\/9780470316887","author":"puterman","year":"1994","journal-title":"Markov Decision Processes Discrete Stochastic Dynamic Programming"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461373"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1137\/120871456"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/3178126.3178148"}],"container-title":["IEEE Control Systems Letters"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7782633\/9301461\/09291398.pdf?arnumber=9291398","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,4]],"date-time":"2022-12-04T08:13:30Z","timestamp":1670141610000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9291398\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11]]},"references-count":25,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/lcsys.2020.3044263","relation":{},"ISSN":["2475-1456"],"issn-type":[{"type":"electronic","value":"2475-1456"}],"subject":[],"published":{"date-parts":[[2021,11]]}}}