@article{1206047,
 article_number = {6},
 author = {Mária Svoreňová and Ivana Černá and Calin Belta},
 issn = {0018-9286},
 journal = {IEEE Transactions on Automatic Control},
 keywords = {optimal control; linear temporal logic (LTL)},
 language = {eng},
 title = {Optimal Temporal Logic Control for Deterministic Transition Systems with Probabilistic Penalties},
 volume = {60},
 year = {2015}
}