{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:39:27Z","timestamp":1761597567990,"version":"3.37.3"},"reference-count":35,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2015,6,1]],"date-time":"2015-06-01T00:00:00Z","timestamp":1433116800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"DOI":"10.13039\/501100010653","name":"Masaryk University","doi-asserted-by":"crossref","award":["GAP202\/11\/0312","LH11065"],"award-info":[{"award-number":["GAP202\/11\/0312","LH11065"]}],"id":[{"id":"10.13039\/501100010653","id-type":"DOI","asserted-by":"crossref"}]},{"name":"Boston University by the Office of Naval Research","award":["MURI N00014-09-1051","MURI N00014-10-10952"],"award-info":[{"award-number":["MURI N00014-09-1051","MURI N00014-10-10952"]}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-1035588"],"award-info":[{"award-number":["CNS-1035588"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2015,6]]},"DOI":"10.1109\/tac.2014.2381451","type":"journal-article","created":{"date-parts":[[2015,1,6]],"date-time":"2015-01-06T19:26:51Z","timestamp":1420572411000},"page":"1528-1541","source":"Crossref","is-referenced-by-count":6,"title":["Optimal Temporal Logic Control for Deterministic Transition Systems With Probabilistic Penalties"],"prefix":"10.1109","volume":"60","author":[{"given":"Maria","family":"Svorenova","sequence":"first","affiliation":[]},{"given":"Ivana","family":"Cerna","sequence":"additional","affiliation":[]},{"given":"Calin","family":"Belta","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1002\/1097-024X(200009)30:11<1203::AID-SPE338>3.3.CO;2-E"},{"journal-title":"ConTool&#x2014;Tool for simulation of control algorithms","year":"2013","author":"svore?ov\u00e1","key":"ref32"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/SWAT.1971.10"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/0012-365X(78)90011-0"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2011.6161122"},{"key":"ref34","first-page":"3938","article-title":"Optimal control of MDPs with temporal logic constraints","author":"svore?ov\u00e1","year":"0","journal-title":"Proc CDC"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.914952"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2178328"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.05.025"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2161789"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.02.021"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2118950"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2176409"},{"key":"ref17","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-01551-9","author":"szepesvari","year":"2010","journal-title":"Algorithms for Reinforcement Learning"},{"key":"ref18","article-title":"Optimal control with weighted average costs and temporal logic specifications","author":"wolff","year":"0","journal-title":"Proc RSS"},{"key":"ref19","first-page":"715","article-title":"Receding horizon temporal logic control for finite deterministic systems","author":"ding","year":"0","journal-title":"Proc ACC"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1177\/0278364911417911"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22993-0_21"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_60"},{"journal-title":"Dynamic Programming and Optimal Control Volumes I and II","year":"2007","author":"bertsekas","key":"ref27"},{"key":"ref6","first-page":"5","article-title":"Automated verification and strategy synthesis for probabilistic systems","author":"kwiatkowska","year":"0","journal-title":"Proc ATVA"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-3(3:4)2007"},{"journal-title":"Probability & Measure Theory","year":"2000","author":"ash","key":"ref29"},{"key":"ref8","first-page":"95","article-title":"Language-guided controller synthesis for discrete-time linear systems","author":"gol","year":"0","journal-title":"Proc HSCC"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.886494"},{"key":"ref2","first-page":"441","article-title":"PRISM: A tool for automatic verification of probabilistic systems","author":"hinton","year":"0","journal-title":"Proc TACAS"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2009.5399536"},{"journal-title":"Principles of Model Checking","year":"2008","author":"baier","key":"ref1"},{"key":"ref20","first-page":"6749","article-title":"Attraction-based receding horizon path planning with temporal logic constraints","author":"svore?ov\u00e1","year":"0","journal-title":"Proc CDC"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1092"},{"key":"ref21","first-page":"4399","article-title":"Optimal receding horizon control for finite deterministic systems with temporal logic constraints","author":"svore?ov\u00e1","year":"0","journal-title":"Proc ACC"},{"key":"ref24","first-page":"248","article-title":"Efficient B&#x00FC;chi automata from LTL formulae","author":"somenzi","year":"0","journal-title":"Proc CAV"},{"key":"ref23","first-page":"53","article-title":"Fast LTL to B&#x00FC;chi automata translation","author":"gastin","year":"0","journal-title":"Proc CAV"},{"journal-title":"Markov Chains","year":"1998","author":"norris","key":"ref26"},{"journal-title":"LTL 2 BA Fast translation from LTL formulae to B&#x00FC;chi automata","year":"2001","author":"gastin","key":"ref25"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9\/7111390\/06985564.pdf?arnumber=6985564","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,31]],"date-time":"2023-07-31T13:05:52Z","timestamp":1690808752000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6985564\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6]]},"references-count":35,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/tac.2014.2381451","relation":{},"ISSN":["0018-9286","1558-2523"],"issn-type":[{"type":"print","value":"0018-9286"},{"type":"electronic","value":"1558-2523"}],"subject":[],"published":{"date-parts":[[2015,6]]}}}