research
∙
01/27/2023
Certified Invertibility in Neural Networks via Mixed-Integer Programming
Neural networks are notoriously vulnerable to adversarial attacks – smal...
share
research
∙
12/14/2022
Automated Reachability Analysis of Neural Network-Controlled Systems via Adaptive Polytopes
Over-approximating the reachable sets of dynamical systems is a fundamen...
research
∙
11/01/2022
ReachLipBnB: A branch-and-bound method for reachability analysis of neural autonomous systems using Lipschitz bounds
We propose a novel Branch-and-Bound method for reachability analysis of ...
research
∙
07/18/2022
Towards Understanding The Semidefinite Relaxations of Truncated Least-Squares in Robust Rotation Search
The rotation search problem aims to find a 3D rotation that best aligns ...
research
∙
06/16/2021
DeepSplit: Scalable Verification of Deep Neural Networks via Operator Splitting
Analyzing the worst-case performance of deep neural networks against inp...
research
∙
05/29/2021
On Centralized and Distributed Mirror Descent: Exponential Convergence Analysis Using Quadratic Constraints
Mirror descent (MD) is a powerful first-order optimization technique tha...
research
∙
03/22/2021
Performance Bounds for Neural Network Estimators: Applications in Fault Detection
We exploit recent results in quantifying the robustness of neural networ...
research
∙
12/10/2020
Certifying Incremental Quadratic Constraints for Neural Networks
Abstracting neural networks with constraints they impose on their inputs...
research
∙
11/16/2020
Enforcing robust control guarantees within neural network policies
When designing controllers for safety-critical systems, practitioners of...
research
∙
11/15/2020
Stability Analysis of Complementarity Systems with Neural Network Controllers
Complementarity problems, a class of mathematical optimization problems ...
research
∙
05/01/2020
Robust Deep Learning as Optimal Control: Insights and Convergence Guarantees
The fragility of deep neural networks to adversarially-chosen inputs has...
research
∙
04/16/2020
Reach-SDP: Reachability Analysis of Closed-Loop Systems with Neural Network Controllers via Semidefinite Programming
There has been an increasing interest in using neural networks in closed...
research
∙
10/09/2019
Probabilistic Verification and Reachability Analysis of Neural Networks via Semidefinite Programming
Quantifying the robustness of neural networks or verifying their safety ...
research
∙
06/12/2019
Efficient and Accurate Estimation of Lipschitz Constants for Deep Neural Networks
Tight estimation of the Lipschitz constant for deep neural networks (DNN...
research
∙
03/04/2019