@misc{indiciaef316928c51e5,
  title = {Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems},
  author = {Matin Ansaripour and Krishnendu Chatterjee and Thomas A. Henzinger and Mathias Lechner and Đorđe Žikelić},
  year = {2023},
  url = {https://arxiv.org/abs/2210.05304},
  note = {Source identifier: 2210.05304}
}