@misc{indiciaed70c7ef44d48,
  title = {Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees},
  author = {Mohammadhosein Hasanbeig and Yiannis Kantaros and Alessandro Abate and Daniel Kroening and George J. Pappas and Insup Lee},
  year = {2019},
  url = {https://arxiv.org/abs/1909.05304},
  note = {Source identifier: 1909.05304}
}