Optimal Temporal Logic Control for Deterministic Transition Systems With Probabilistic Penalties | IEEE Journals & Magazine | IEEE Xplore