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