@misc{indiciae61222c7624aa,
  title = {Safety and Liveness Guarantees through Reach-Avoid Reinforcement Learning},
  author = {Kai-Chieh Hsu and Vicenç Rubies-Royo and Claire J. Tomlin and Jaime F. Fisac},
  year = {2021},
  doi = {10.15607/rss.2021.xvii.077},
  url = {https://arxiv.org/abs/2112.12288},
  note = {Source identifier: 2112.12288}
}