%0 Journal Article %1 journals/tac/DingSBR14 %A Ding, Xu Chu %A Smith, Stephen L. %A Belta, Calin %A Rus, Daniela %D 2014 %J IEEE Trans. Automat. Contr. %K dblp %N 5 %P 1244-1257 %T Optimal Control of Markov Decision Processes With Linear Temporal Logic Constraints. %U http://dblp.uni-trier.de/db/journals/tac/tac59.html#DingSBR14 %V 59

@article{journals/tac/DingSBR14, added-at = {2019-09-25T00:00:00.000+0200}, author = {Ding, Xu Chu and Smith, Stephen L. and Belta, Calin and Rus, Daniela}, biburl = {https://www.bibsonomy.org/bibtex/297425ab748e1a5f642ffc73c6551ee39/dblp}, ee = {https://doi.org/10.1109/TAC.2014.2298143}, interhash = {f4c11db74b02709627d9982fbeba5d26}, intrahash = {97425ab748e1a5f642ffc73c6551ee39}, journal = {IEEE Trans. Automat. Contr.}, keywords = {dblp}, number = 5, pages = {1244-1257}, timestamp = {2019-09-26T11:58:24.000+0200}, title = {Optimal Control of Markov Decision Processes With Linear Temporal Logic Constraints.}, url = {http://dblp.uni-trier.de/db/journals/tac/tac59.html#DingSBR14}, volume = 59, year = 2014 }