{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,8]],"date-time":"2026-07-08T06:01:01Z","timestamp":1783490461471,"version":"3.55.0"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,5,25]]},"DOI":"10.23919\/acc50511.2021.9482873","type":"proceedings-article","created":{"date-parts":[[2021,7,28]],"date-time":"2021-07-28T20:29:16Z","timestamp":1627504156000},"page":"3428-3433","source":"Crossref","is-referenced-by-count":4,"title":["Formal Multi-Objective Synthesis of Continuous-State MDPs"],"prefix":"10.23919","author":[{"given":"Sofie","family":"Haesaert","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Petter","family":"Nilsson","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sadegh","family":"Soudjani","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"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","doi-asserted-by":"publisher","DOI":"10.1145\/3365365.3382214"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311805"},{"key":"ref3","article-title":"Stochastic Optimal Control: The Discrete Time Case","author":"bertsekas","year":"1996","journal-title":"Athena Scientific"},{"key":"ref6","first-page":"50","article-title":"Multiobjective model checking of Markov decision processes","author":"etessami","year":"0","journal-title":"TACAS"},{"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"},{"key":"ref1","author":"baier","year":"2008","journal-title":"Principles of Model Checking"},{"key":"ref20","author":"puggelli","year":"2014","journal-title":"Formal techniques for the verification and optimal control of probabilistic systems in the presence of modeling uncertainties"},{"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"}],"event":{"name":"2021 American Control Conference (ACC)","location":"New Orleans, LA, USA","start":{"date-parts":[[2021,5,25]]},"end":{"date-parts":[[2021,5,28]]}},"container-title":["2021 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9482409\/9482614\/09482873.pdf?arnumber=9482873","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,5]],"date-time":"2023-01-05T20:02:47Z","timestamp":1672948967000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9482873\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5,25]]},"references-count":25,"URL":"https:\/\/doi.org\/10.23919\/acc50511.2021.9482873","relation":{},"subject":[],"published":{"date-parts":[[2021,5,25]]}}}