Reinforcement learning for temporal logic control synthesis with probabilistic satisfaction guarantees by Hasanbeig, M, Kantaros, Y, Abate, A, Kroening, D, Pappas, G, Lee, I