@article{safetyguaranteesforneuralnetworkdynamic,
  title = {Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions},
  author = {Rayan Mazouz and Karan Muvvala and Akash Ratheesh and Luca Laurenti and Morteza Lahijanian},
  year = {2022},
  eprint = {2206.07811},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2206.07811v8},
}