research
∙
07/26/2023
Robustness Verification of Deep Neural Networks using Star-Based Reachability Analysis with Variable-Length Time Series Input
Data-driven, neural network (NN) based anomaly detection and predictive ...
share
research
∙
07/13/2022
Reachability Analysis of a General Class of Neural Ordinary Differential Equations
Continuous deep learning models, referred to as Neural Ordinary Differen...
research
∙
05/03/2022
An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles
Recent advances in machine learning technologies and sensing have paved ...
research
∙
04/12/2020
NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems
This paper presents the Neural Network Verification (NNV) software tool,...
research
∙
10/03/2018
