Reinforcement learning for temporal logic control synthesis with probabilistic satisfaction guarantees - Hasanbeig, M; Kantaros, Y; Abate, A; Kroening, D; Pappas, G; Lee, I (2019 IEEE 58th Conference on Decision and Control (CDC), 2020)