{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,11]],"date-time":"2026-02-11T05:31:07Z","timestamp":1770787867714,"version":"3.50.0"},"reference-count":29,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[2014,5,1]],"date-time":"2014-05-01T00:00:00Z","timestamp":1398902400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"name":"ONR-MURI","award":["N00014-09-1051"],"award-info":[{"award-number":["N00014-09-1051"]}]},{"name":"ARO","award":["W911NF-09-1-0088"],"award-info":[{"award-number":["W911NF-09-1-0088"]}]},{"name":"AFOSR YIP","award":["FA9550-09-1-020"],"award-info":[{"award-number":["FA9550-09-1-020"]}]},{"name":"NSF","award":["CNS-0834260"],"award-info":[{"award-number":["CNS-0834260"]}]},{"name":"Singapore-MIT Alliance for Research and Technology (SMART) under the Future of Urban Mobility project"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2014,5]]},"DOI":"10.1109\/tac.2014.2298143","type":"journal-article","created":{"date-parts":[[2014,1,31]],"date-time":"2014-01-31T17:37:55Z","timestamp":1391189875000},"page":"1244-1257","source":"Crossref","is-referenced-by-count":148,"title":["Optimal Control of Markov Decision Processes With Linear Temporal Logic Constraints"],"prefix":"10.1109","volume":"59","author":[{"given":"Xuchu","family":"Ding","sequence":"first","affiliation":[]},{"given":"Stephen L.","family":"Smith","sequence":"additional","affiliation":[]},{"given":"Calin","family":"Belta","sequence":"additional","affiliation":[]},{"given":"Daniela","family":"Rus","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2004.1428622"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2012.2195811"},{"key":"ref12","author":"clarke","year":"1999","journal-title":"Model checking"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2004.1459815"},{"key":"ref14","first-page":"364","article-title":"Synthesis of reactive(1) designs","author":"piterman","year":"2006","journal-title":"Proc Int Conf Verification Model Checking Abstract Interpretation"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.914952"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2178328"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/978-3-540-78929-1_21","author":"kloetzer","year":"2008","journal-title":"Hybrid Systems Computation and Control"},{"key":"ref18","author":"de alfaro","year":"1997","journal-title":"Formal Verification of Probabilistic Systems"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/3-540-48778-6_16","article-title":"Probabilistic linear-time model checking: An overview of the automata-theoretic approach","author":"vardi","year":"1999","journal-title":"Formal Methods for Real-Time and Probabilistic Systems"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/BF02055188"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.2514\/6.2010-8040"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6377(99)00016-4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2011.2172150"},{"key":"ref6","first-page":"246","volume":"ii","author":"bertsekas","year":"2007","journal-title":"Dynamic Programming and Optimal Control"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2012.6225075"},{"key":"ref5","article-title":"The stochastic motion roadmap: A sampling framework for planning with Markov motion uncertainty","author":"alterovitz","year":"2007","journal-title":"Proc Robot Sci Syst"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2007.363946"},{"key":"ref7","doi-asserted-by":"crossref","DOI":"10.1002\/9780470316887","author":"puterman","year":"1994","journal-title":"Markov Decision Processes Discrete Stochastic Dynamic Programming"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2011.6161122"},{"key":"ref9","first-page":"2222","article-title":"Sampling-based motion planning with deterministic <formula formulatype=\"inline\"><tex Notation=\"TeX\">$\\mu $<\/tex><\/formula>-calculus specifications","author":"karaman","year":"2009","journal-title":"Proc IEEE Conf Decision Control"},{"key":"ref1","first-page":"3515","article-title":"LTL control in uncertain environments with probabilistic satisfaction guarantees","author":"ding","year":"2011","journal-title":"Proc IFAC World Congr"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/9.720497"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1177\/0278364911417911"},{"key":"ref21","first-page":"493","article-title":"Controller synthesis for probabilistic systems","author":"baier","year":"2004","journal-title":"Proc IFIP TCS'04"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.07.022"},{"key":"ref23","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-36387-4","volume":"2500","author":"gradel","year":"2002","journal-title":"Automata Logics and Infinite Games A Guide to Current Research"},{"key":"ref26","author":"hogben","year":"2007","journal-title":"Handbook of Linear Algebra"},{"key":"ref25","author":"klein","year":"2007","journal-title":"ltl2dstar ? LTL to Deterministic Streett and Rabin Automata"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9\/6802372\/06702421.pdf?arnumber=6702421","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,24]],"date-time":"2022-03-24T19:59:44Z","timestamp":1648151984000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6702421\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,5]]},"references-count":29,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/tac.2014.2298143","relation":{},"ISSN":["0018-9286","1558-2523"],"issn-type":[{"value":"0018-9286","type":"print"},{"value":"1558-2523","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,5]]}}}