@article{learningcontrolpoliciesforstochastic,
  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},
  eprint = {2210.05308},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2210.05308v2},
}