Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees

January 19th, 2021