Department of Aerospace Engineering Sciences, University of Colorado Boulder, USA; Delft Center for Systems and Control, Delft University of Technology, The Netherlands
Rayan Mazouz, Karan Muvvala, Akash Ratheesh Babu, Luca Laurenti, Morteza Lahijanian
Safety Certificate;Neural Networks;Stochastic Dynamical Systems;Barrier Functions;Convex Optimization;Robotics and Control
Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions