research
∙
07/28/2023
Worrisome Properties of Neural Network Controllers and Their Symbolic Representations
We raise concerns about controllers' robustness in simple reinforcement ...
share
research
∙
01/28/2022
Improved Overparametrization Bounds for Global Convergence of Stochastic Gradient Descent for Shallow Neural Networks
We study the overparametrization bounds required for the global converge...
research
∙
01/03/2021
Validated forward integration scheme for parabolic PDEs via Chebyshev series
In this paper we introduce a new approach to compute rigorously solution...
research
∙
12/16/2020
On The Verification of Neural ODEs with Stochastic Guarantees
We show that Neural ODEs, an emerging class of time-continuous neural ne...
research
∙
12/14/2020
Lagrangian Reachtubes: The Next Generation
We introduce LRT-NG, a set of techniques and an associated toolset that ...
research
∙
10/17/2019
Mapper Based Classifier
Topological data analysis aims to extract topological quantities from da...
research
∙
09/20/2018
Tight Continuous-Time Reachtubes for Lagrangian Reachability
We introduce continuous Lagrangian reachability (CLRT), a new algorithm ...
research
∙
05/16/2017
Lagrangian Reachabililty
We introduce LRT, a new Lagrangian-based ReachTube computation algorithm...
research
∙
03/03/2017