# Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees

 Title Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees Publication Type Journal Article Year of Publication 2019 Authors Hasanbeig M, Kantaros Y, Abate A, Kroening D, Pappas GJ, Lee I Journal arXiv preprint arXiv:1909.05304