research
∙
04/03/2023
Model-Agnostic Reachability Analysis on Deep Neural Networks
Verification plays an essential role in the formal analysis of safety-cr...
share
research
∙
01/29/2023
Towards Verifying the Geometric Robustness of Large-scale Neural Networks
Deep neural networks (DNNs) are known to be vulnerable to adversarial ge...
research
∙
01/28/2023
Reachability Analysis of Neural Network Control Systems
Neural network controllers (NNCs) have shown great promise in autonomous...
research
∙
09/13/2020
