@inproceedings{Mazouz:NeurIPS:2022,
  title={Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions},
  author={Mazouz, Rayan and Muvvala, Karan and Ratheesh Babu, Akash and Laurenti, Luca and Lahijanian, Morteza},
  booktitle={Advances in Neural Information Processing Systems (NeurIPS)},
  url={https://arxiv.org/abs/2206.07811},
  publisher={},
  year={2022},
  pages={},
  address = {New Orleans, Louisiana, USA},
  month = {Nov.},
  note={(accepted)},
  bibkey = {synth-ml},
}