Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2012.08863
Cited By
On The Verification of Neural ODEs with Stochastic Guarantees
AAAI Conference on Artificial Intelligence (AAAI), 2020
16 December 2020
Sophie Gruenbacher
Ramin Hasani
Mathias Lechner
J. Cyranka
S. Smolka
Radu Grosu
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"On The Verification of Neural ODEs with Stochastic Guarantees"
23 / 23 papers shown
Mixed Monotonicity Reachability Analysis of Neural ODE: A Trade-Off Between Tightness and Efficiency
Abdelrahman Sayed Sayed
Pierre-Jean Meyer
Mohamed Ghazel
156
0
0
15 Oct 2025
Stable Robot Motions on Manifolds: Learning Lyapunov-Constrained Neural Manifold ODEs
David Boetius
Abdelrahman Abdelnaby
Ashok Kumar
Stefan Leue
Abdalla Swikir
Fares J. Abu-Dakka
134
1
0
07 Oct 2025
Multiple-Frequencies Population-Based Training
Waël Doulazmi
Auguste Lehuger
Marin Toromanoff
Valentin Charraut
Thibault Buhet
Fabien Moutarde
294
2
0
03 Jun 2025
Robustness Analysis of Continuous-Depth Models with Lagrangian Techniques
Sophie A. Neubauer
Radu Grosu
283
0
0
23 Aug 2023
On the Trade-off Between Efficiency and Precision of Neural Abstraction
International Conference on Quantitative Evaluation of Systems (QEST), 2023
Alec Edwards
Mirco Giacobbe
Alessandro Abate
313
3
0
28 Jul 2023
Verifying Safety of Neural Networks from Topological Perspectives
Science of Computer Programming (SCP), 2023
Zhen Liang
Dejin Ren
Bai Xue
Jing Wang
Wenjing Yang
Wanwei Liu
AAML
311
0
0
27 Jun 2023
Efficient Certified Training and Robustness Verification of Neural ODEs
International Conference on Learning Representations (ICLR), 2023
Mustafa Zeqiri
Mark Niklas Muller
Marc Fischer
Martin Vechev
AAML
326
4
0
09 Mar 2023
Dataset Distillation with Convexified Implicit Gradients
International Conference on Machine Learning (ICML), 2023
Noel Loo
Ramin Hasani
Mathias Lechner
Daniela Rus
DD
253
55
0
13 Feb 2023
Neural Abstractions
Neural Information Processing Systems (NeurIPS), 2023
Alessandro Abate
Alec Edwards
Mirco Giacobbe
276
23
0
27 Jan 2023
FI-ODE: Certifiably Robust Forward Invariance in Neural ODEs
Yujia Huang
I. D. Rodriguez
Huan Zhang
Yuanyuan Shi
Yisong Yue
562
3
0
30 Oct 2022
Evolution of Neural Tangent Kernels under Benign and Adversarial Training
Neural Information Processing Systems (NeurIPS), 2022
Noel Loo
Ramin Hasani
Alexander Amini
Daniela Rus
AAML
347
15
0
21 Oct 2022
Interpreting Neural Policies with Disentangled Tree Representations
Tsun-Hsuan Wang
Wei Xiao
Tim Seyde
Ramin Hasani
Daniela Rus
DRL
307
2
0
13 Oct 2022
On the Forward Invariance of Neural ODEs
International Conference on Machine Learning (ICML), 2022
Wei Xiao
Tsun-Hsuan Wang
Ramin Hasani
Mathias Lechner
Yutong Ban
Chuang Gan
Daniela Rus
253
11
0
10 Oct 2022
Safety Verification for Neural Networks Based on Set-boundary Analysis
Theoretical Aspects of Software Engineering (TASE), 2022
Zhen Liang
Dejin Ren
Wanwei Liu
Ji Wang
Wenjing Yang
Bai Xue
AAML
350
7
0
09 Oct 2022
Liquid Structural State-Space Models
International Conference on Learning Representations (ICLR), 2022
Ramin Hasani
Mathias Lechner
Tsun-Hsuan Wang
Makram Chahine
Alexander Amini
Daniela Rus
AI4TS
464
156
0
26 Sep 2022
Reachability Analysis of a General Class of Neural Ordinary Differential Equations
International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), 2022
Diego Manzanas Lopez
Patrick Musau
Nathaniel P. Hamilton
Taylor T. Johnson
247
18
0
13 Jul 2022
Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions
Neural Information Processing Systems (NeurIPS), 2022
Rayan Mazouz
Karan Muvvala
Akash Ratheesh
Luca Laurenti
Morteza Lahijanian
AAML
563
38
0
15 Jun 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
249
30
0
04 Mar 2022
BarrierNet: A Safety-Guaranteed Layer for Neural Networks
Wei Xiao
Ramin Hasani
Xiao Li
Daniela Rus
238
22
0
22 Nov 2021
GoTube: Scalable Stochastic Verification of Continuous-Depth Models
Sophie Gruenbacher
Mathias Lechner
Ramin Hasani
Daniela Rus
T. Henzinger
S. Smolka
Radu Grosu
241
17
0
18 Jul 2021
Closed-form Continuous-time Neural Models
Nature Machine Intelligence (Nat. Mach. Intell.), 2021
Ramin Hasani
Mathias Lechner
Alexander Amini
Lucas Liebenwein
Aaron Ray
Max Tschaikowski
G. Teschl
Daniela Rus
PINN
AI4TS
301
159
0
25 Jun 2021
Causal Navigation by Continuous-time Neural Networks
Charles J. Vorbach
Ramin Hasani
Alexander Amini
Mathias Lechner
Daniela Rus
268
57
0
15 Jun 2021
Adversarial Training is Not Ready for Robot Learning
IEEE International Conference on Robotics and Automation (ICRA), 2021
Mathias Lechner
Ramin Hasani
Radu Grosu
Daniela Rus
T. Henzinger
AAML
257
34
0
15 Mar 2021
1
Page 1 of 1
