@article{reinforcementlearningfortemporallogic,
  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},
  eprint = {1909.05304},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/1909.05304v1},
}