Mazouz, Rayan

1 publications

NeurIPS 2022 Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions Rayan Mazouz, Karan Muvvala, Akash Ratheesh Babu, Luca Laurenti, Morteza Lahijanian