@inproceedings{1120956,
author = {Svoreňová, Mária and Černá, Ivana and Belta, Calin},
address = {Neuveden},
booktitle = {Proceedings of The 52nd IEEE Conference on Decision and Control},
doi = {http://dx.doi.org/10.1109/CDC.2013.6760491},
keywords = {automatic synthesis Markov decision processes LTL},
howpublished = {elektronická verze "online"},
language = {eng},
location = {Neuveden},
isbn = {978-1-4673-5714-2},
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}
}