Lagrangian Reachtubes: The Next Generation

Lagrangian Reachtubes: The Next Generation

14 December 2020

Sophie Gruenbacher

Mathias Lechner

Md. Ariful Islam

Papers citing "Lagrangian Reachtubes: The Next Generation"

10 / 10 papers shown

Title
Robustness Analysis of Continuous-Depth Models with Lagrangian Techniques Sophie A. Neubauer Radu Grosu 24 0 0 23 Aug 2023
Verifying Safety of Neural Networks from Topological Perspectives Zhen Liang Dejin Ren Bai Xue Juan Wang Wenjing Yang Wanwei Liu AAML 40 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 32 0 0 22 May 2023
Safety Verification for Neural Networks Based on Set-boundary Analysis Zhen Liang Dejin Ren Wanwei Liu Ji Wang Wenjing Yang Bai Xue AAML 44 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 28 14 0 13 Jul 2022
Stability Verification in Stochastic Control Systems via Neural Network Supermartingales Mathias Lechner Dorde Zikelic K. Chatterjee T. Henzinger 34 31 0 17 Dec 2021
BarrierNet: A Safety-Guaranteed Layer for Neural Networks Wei Xiao Ramin Hasani Xiao Li Daniela Rus 23 20 0 22 Nov 2021
Infinite Time Horizon Safety of Bayesian Neural Networks Mathias Lechner Dorde Zikelic K. Chatterjee T. Henzinger 18 18 0 04 Nov 2021
GoTube: Scalable Stochastic Verification of Continuous-Depth Models Sophie Gruenbacher Mathias Lechner Ramin Hasani Daniela Rus T. Henzinger S. Smolka Radu Grosu 26 17 0 18 Jul 2021
On The Verification of Neural ODEs with Stochastic Guarantees Sophie Gruenbacher Ramin Hasani Mathias Lechner J. Cyranka S. Smolka Radu Grosu 77 31 0 16 Dec 2020