@misc{indiciaef24ff6136f3d,
  title = {Tractable Reinforcement Learning of Signal Temporal Logic Objectives},
  author = {Harish Venkataraman and Derya Aksaray and Peter Seiler},
  year = {2020},
  url = {https://arxiv.org/abs/2001.09467},
  note = {Source identifier: 2001.09467}
}