Reinforcement Learning for Temporal Logic Control Synthesis With Probabilistic Satisfaction Guarantees

doi 10.1109/cdc40024.2019.9028919