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
∙
01/14/2023
First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)
This paper presents a summary and meta-analysis of the first three itera...
research
∙
12/20/2022
The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results
This report summarizes the 3rd International Verification of Neural Netw...
research
∙
07/14/2022
Work In Progress: Safety and Robustness Verification of Autoencoder-Based Regression Models using the NNV Tool
This work in progress paper introduces robustness verification for autoe...
research
∙
07/14/2022
Model Checking for Rectangular Hybrid Systems: A Quantified Encoding Approach
Satisfiability Modulo Theories (SMT) solvers have been successfully appl...
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
∙
07/08/2022
Ablation Study of How Run Time Assurance Impacts the Training and Performance of Reinforcement Learning Agents
Reinforcement Learning (RL) has become an increasingly important researc...
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
∙
08/09/2021
Neural Network Repair with Reachability Analysis
Safety is a critical concern for the next generation of autonomy that is...
research
∙
06/22/2021
Reachability Analysis of Convolutional Neural Networks
Deep convolutional neural networks have been widely employed as an effec...
research
∙
04/26/2020
Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided Approach
The vulnerability of artificial intelligence (AI) and machine learning (...
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
∙
04/12/2020
Verification of Deep Convolutional Neural Networks Using ImageStars
Convolutional Neural Networks (CNN) have redefined the state-of-the-art ...
research
∙
09/19/2019
Real-Time Verification for Distributed Cyber-Physical Systems
Safety-critical distributed cyber-physical systems (CPSs) have been foun...
research
∙
12/14/2018
Specification-Guided Safety Verification for Feedforward Neural Networks
This paper presents a specification-guided safety verification method fo...
research
∙
10/03/2018
Verification for Machine Learning, Autonomy, and Neural Networks Survey
This survey presents an overview of verification techniques for autonomo...
research
∙
06/24/2018
Cyber-Physical Specification Mismatches
Embedded systems use increasingly complex software and are evolving into...
research
∙
04/09/2018
Simulation-Based Reachability Analysis for High-Index Large Linear Differential Algebraic Equations
Reachability analysis is a fundamental problem for safety verification a...
research
∙
04/04/2018
Numerical Verification of Affine Systems with up to a Billion Dimensions
Affine systems reachability is the basis of many verification methods. W...
research
∙
12/21/2017
Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations
Neural networks have been widely used to solve complex real-world proble...
research
∙
04/08/2014
Virtual Prototyping and Distributed Control for Solar Array with Distributed Multilevel Inverter
In this paper, we present the virtual prototyping of a solar array with ...
research
∙
09/10/2012