@misc{indiciaef62295efd764,
  title = {Learning Control Policies for Stochastic Systems with Reach-avoid Guarantees},
  author = {Đorđe Žikelić and Mathias Lechner and Thomas A. Henzinger and Krishnendu Chatterjee},
  year = {2022},
  url = {https://arxiv.org/abs/2210.05308},
  note = {Source identifier: 2210.05308}
}