GoTube: Scalable Stochastic Verification of Continuous-Depth Models

GoTube: Scalable Stochastic Verification of Continuous-Depth Models

18 July 2021

Sophie Gruenbacher

Mathias Lechner

Ramin Hasani

Daniela Rus

Papers citing "GoTube: Scalable Stochastic Verification of Continuous-Depth Models"

15 / 15 papers shown

Title
Robustness Analysis of Continuous-Depth Models with Lagrangian Techniques Sophie A. Neubauer Radu Grosu 20 0 0 23 Aug 2023
On the Trade-off Between Efficiency and Precision of Neural Abstraction Alec Edwards Mirco Giacobbe Alessandro Abate 22 0 0 28 Jul 2023
Verifying Safety of Neural Networks from Topological Perspectives Zhen Liang Dejin Ren Bai Xue J. Wang Wenjing Yang Wanwei Liu AAML 33 0 0 27 Jun 2023
One-Shot Strategically Deconflicted Route and Operational Volume Generation for Urban Air Mobility Operations E. Thompson Yan Xu Peng Wei 11 0 0 22 May 2023
Neural Abstractions Alessandro Abate Alec Edwards Mirco Giacobbe 19 14 0 27 Jan 2023
On the Forward Invariance of Neural ODEs Wei Xiao Tsun-Hsuan Wang Ramin Hasani Mathias Lechner Yutong Ban Chuang Gan Daniela Rus 33 11 0 10 Oct 2022
Safety Verification for Neural Networks Based on Set-boundary Analysis Zhen Liang Dejin Ren Wanwei Liu Ji Wang Wenjing Yang Bai Xue AAML 34 4 0 09 Oct 2022
Reachability Analysis of a General Class of Neural Ordinary Differential Equations Diego Manzanas Lopez Patrick Musau Nathaniel P. Hamilton Taylor T. Johnson 23 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 25 26 0 04 Mar 2022
Stability Verification in Stochastic Control Systems via Neural Network Supermartingales Mathias Lechner Dorde Zikelic K. Chatterjee T. Henzinger 13 31 0 17 Dec 2021
A Simple and Efficient Sampling-based Algorithm for General Reachability Analysis T. Lew Lucas Janson Riccardo Bonalli Marco Pavone 16 18 0 10 Dec 2021
BarrierNet: A Safety-Guaranteed Layer for Neural Networks Wei Xiao Ramin Hasani Xiao Li Daniela Rus 21 19 0 22 Nov 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
On The Verification of Neural ODEs with Stochastic Guarantees Sophie Gruenbacher Ramin Hasani Mathias Lechner J. Cyranka S. Smolka Radu Grosu 74 31 0 16 Dec 2020
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 231 1,837 0 03 Feb 2017