@misc{indiciae1f063ef1b2af,
  title = {Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning},
  author = {Alper Kamil Bozkurt and Yu Wang and Michael M. Zavlanos and Miroslav Pajic},
  year = {2020},
  doi = {10.1109/icra40945.2020.9196796},
  url = {https://arxiv.org/abs/1909.07299},
  note = {Source identifier: 1909.07299}
}