TY  - RPRT
TI  - Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions
AU  - Rayan Mazouz
AU  - Karan Muvvala
AU  - Akash Ratheesh
AU  - Luca Laurenti
AU  - Morteza Lahijanian
PY  - 2025
UR  - https://arxiv.org/abs/2206.07811
ID  - 2206.07811
ER  -