@misc{indiciae730cc711cd87,
  title = {Transfer of Temporal Logic Formulas in Reinforcement Learning},
  author = {Zhe Xu and Ufuk Topcu},
  year = {2019},
  url = {https://arxiv.org/abs/1909.04256},
  note = {Source identifier: 1909.04256}
}