Workshop_publications

RSS Paper

In this work, we introduce a method of safety certification and control for neural network dynamic systems via stochastic barrier functions.

Rayan Mazouz, Karan Muvvala, Akash Ratheesh, Luca Laurenti, Morteza Lahijanian

Last updated on Oct 2, 2022