@inproceedings{1120956,
 address = {Neuveden},
 author = {Mária Svoreňová and Ivana Černá and Calin Belta},
 booktitle = {Proceedings of The 52nd IEEE Conference on Decision and Control},
 doi = {http://dx.doi.org/10.1109/CDC.2013.6760491},
 howpublished = {elektronická verze "online"},
 isbn = {978-1-4673-5714-2},
 keywords = {automatic synthesis Markov decision processes LTL},
 language = {eng},
 location = {Neuveden},
 pages = {3938-3943},
 publisher = {Omnipress for the IEEE Control Systems Society},
 title = {Optimal Control of MDPs with Temporal Logic Constraints},
 url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6760491},
 year = {2013}
}