research
∙
04/26/2023
Guaranteed Quantization Error Computation for Neural Network Model Compression
Neural network model compression techniques can address the computation ...
share
research
∙
04/26/2023
A Data-Driven Hybrid Automaton Framework to Modeling Complex Dynamical Systems
In this paper, a computationally efficient data-driven hybrid automaton ...
research
∙
01/17/2023
Safety Verification of Neural Network Control Systems Using Guaranteed Neural Network Model Reduction
This paper aims to enhance the computational efficiency of safety verifi...
research
∙
02/02/2022
Approximate Bisimulation Relations for Neural Networks and Application to Assured Neural Network Compression
In this paper, we propose a concept of approximate bisimulation relation...
research
∙
07/27/2021
Robust Optimization Framework for Training Shallow Neural Networks Using Reachability Method
In this paper, a robust optimization framework is developed to train sha...
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
∙
03/02/2020
Reachability Analysis for Feed-Forward Neural Networks using Face Lattices
Deep neural networks have been widely applied as an effective approach t...
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
∙
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
∙
12/21/2017