On The Verification of Neural ODEs with Stochastic Guarantees

On The Verification of Neural ODEs with Stochastic Guarantees

16 December 2020

Sophie Gruenbacher

Ramin Hasani

Mathias Lechner

Papers citing "On The Verification of Neural ODEs with Stochastic Guarantees"

10 / 10 papers shown

Title
Robustness Analysis of Continuous-Depth Models with Lagrangian Techniques Sophie A. Neubauer Radu Grosu 18 0 0 23 Aug 2023
Dataset Distillation with Convexified Implicit Gradients Noel Loo Ramin Hasani Mathias Lechner Daniela Rus DD 29 41 0 13 Feb 2023
Evolution of Neural Tangent Kernels under Benign and Adversarial Training Noel Loo Ramin Hasani Alexander Amini Daniela Rus AAML 28 13 0 21 Oct 2022
On the Forward Invariance of Neural ODEs Wei Xiao Tsun-Hsuan Wang Ramin Hasani Mathias Lechner Yutong Ban Chuang Gan Daniela Rus 31 11 0 10 Oct 2022
Liquid Structural State-Space Models Ramin Hasani Mathias Lechner Tsun-Hsuan Wang Makram Chahine Alexander Amini Daniela Rus AI4TS 101 95 0 26 Sep 2022
Reachability Analysis of a General Class of Neural Ordinary Differential Equations Diego Manzanas Lopez Patrick Musau Nathaniel P. Hamilton Taylor T. Johnson 21 14 0 13 Jul 2022
Differentiable Control Barrier Functions for Vision-based End-to-End Autonomous Driving Wei Xiao Tsun-Hsuan Wang Makram Chahine Alexander Amini Ramin Hasani Daniela Rus 20 26 0 04 Mar 2022
GoTube: Scalable Stochastic Verification of Continuous-Depth Models Sophie Gruenbacher Mathias Lechner Ramin Hasani Daniela Rus T. Henzinger S. Smolka Radu Grosu 18 17 0 18 Jul 2021
Causal Navigation by Continuous-time Neural Networks Charles J. Vorbach Ramin Hasani Alexander Amini Mathias Lechner Daniela Rus 26 47 0 15 Jun 2021
Adversarial Training is Not Ready for Robot Learning Mathias Lechner Ramin Hasani Radu Grosu Daniela Rus T. Henzinger AAML 30 34 0 15 Mar 2021