@misc{indiciaee9ebca706f7c,
  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 = {2025},
  url = {https://arxiv.org/abs/2206.07811},
  note = {Source identifier: 2206.07811}
}