@misc{indiciae44e6c79a7d0c,
  title = {Stability Verification in Stochastic Control Systems via Neural Network Supermartingales},
  author = {Mathias Lechner and Đorđe Žikelić and Krishnendu Chatterjee and Thomas A. Henzinger},
  year = {2021},
  url = {https://arxiv.org/abs/2112.09495},
  note = {Source identifier: 2112.09495}
}