Picture for Hoang-Dung Tran

Hoang-Dung Tran

A Transition System Abstraction Framework for Neural Network Dynamical System Models

Add code
Feb 18, 2024
Viaarxiv icon

Neural Network Compression of ACAS Xu is Unsafe: Closed-Loop Verification through Quantized State Backreachability

Add code
Jan 26, 2022
Figure 1 for Neural Network Compression of ACAS Xu is Unsafe: Closed-Loop Verification through Quantized State Backreachability
Figure 2 for Neural Network Compression of ACAS Xu is Unsafe: Closed-Loop Verification through Quantized State Backreachability
Figure 3 for Neural Network Compression of ACAS Xu is Unsafe: Closed-Loop Verification through Quantized State Backreachability
Figure 4 for Neural Network Compression of ACAS Xu is Unsafe: Closed-Loop Verification through Quantized State Backreachability
Viaarxiv icon

Neural Network Repair with Reachability Analysis

Add code
Aug 09, 2021
Figure 1 for Neural Network Repair with Reachability Analysis
Figure 2 for Neural Network Repair with Reachability Analysis
Figure 3 for Neural Network Repair with Reachability Analysis
Figure 4 for Neural Network Repair with Reachability Analysis
Viaarxiv icon

Reachability Analysis of Convolutional Neural Networks

Add code
Jun 22, 2021
Figure 1 for Reachability Analysis of Convolutional Neural Networks
Figure 2 for Reachability Analysis of Convolutional Neural Networks
Figure 3 for Reachability Analysis of Convolutional Neural Networks
Figure 4 for Reachability Analysis of Convolutional Neural Networks
Viaarxiv icon

Verification of Deep Convolutional Neural Networks Using ImageStars

Add code
May 14, 2020
Figure 1 for Verification of Deep Convolutional Neural Networks Using ImageStars
Figure 2 for Verification of Deep Convolutional Neural Networks Using ImageStars
Figure 3 for Verification of Deep Convolutional Neural Networks Using ImageStars
Figure 4 for Verification of Deep Convolutional Neural Networks Using ImageStars
Viaarxiv icon

NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems

Add code
Apr 12, 2020
Figure 1 for NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems
Figure 2 for NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems
Figure 3 for NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems
Figure 4 for NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems
Viaarxiv icon

Reachability Analysis for Feed-Forward Neural Networks using Face Lattices

Add code
Mar 02, 2020
Figure 1 for Reachability Analysis for Feed-Forward Neural Networks using Face Lattices
Figure 2 for Reachability Analysis for Feed-Forward Neural Networks using Face Lattices
Figure 3 for Reachability Analysis for Feed-Forward Neural Networks using Face Lattices
Figure 4 for Reachability Analysis for Feed-Forward Neural Networks using Face Lattices
Viaarxiv icon

Specification-Guided Safety Verification for Feedforward Neural Networks

Add code
Dec 14, 2018
Figure 1 for Specification-Guided Safety Verification for Feedforward Neural Networks
Figure 2 for Specification-Guided Safety Verification for Feedforward Neural Networks
Figure 3 for Specification-Guided Safety Verification for Feedforward Neural Networks
Figure 4 for Specification-Guided Safety Verification for Feedforward Neural Networks
Viaarxiv icon

Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks

Add code
Feb 20, 2018
Figure 1 for Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks
Figure 2 for Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks
Figure 3 for Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks
Figure 4 for Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks
Viaarxiv icon

Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations

Add code
Dec 21, 2017
Figure 1 for Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations
Figure 2 for Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations
Figure 3 for Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations
Figure 4 for Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations
Viaarxiv icon