Mohammadhosein Hasanbeig, Yiannis Kantaros, A. Abate, Daniel Kroening, George J. Pappas, I. Lee. Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees. In 58th IEEE Conference on Decision and Control, CDC 2019, Nice, France, December 11-13, 2019. pages 5338-5343, IEEE, 2019. [doi]
Abstract is missing.