Media type: E-Article Title: Optimal Temporal Logic Control for Deterministic Transition Systems With Probabilistic Penalties Contributor: Svorenova, Maria; Cerna, Ivana; Belta, Calin imprint: Institute of Electrical and Electronics Engineers (IEEE), 2015 Published in: IEEE Transactions on Automatic Control Language: Not determined DOI: 10.1109/tac.2014.2381451 ISSN: 0018-9286; 1558-2523 Keywords: Electrical and Electronic Engineering ; Computer Science Applications ; Control and Systems Engineering Origination: Footnote: