Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions

Open in new window