Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1712.08163
Cited By
Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations
21 December 2017
Weiming Xiang
Hoang-Dung Tran
Taylor T. Johnson
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations"
30 / 30 papers shown
Title
ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks
Tianhao Wei
Luca Marzari
Kai S. Yun
Hanjiang Hu
Peizhi Niu
Xusheng Luo
Changliu Liu
76
0
0
30 Jun 2024
UR4NNV: Neural Network Verification, Under-approximation Reachability Works!
Zhen Liang
Taoran Wu
Ran Zhao
Bai Xue
Ji Wang
Wenjing Yang
Shaojun Deng
Wanwei Liu
AAML
65
0
0
23 Jan 2024
When Deep Learning Meets Polyhedral Theory: A Survey
Joey Huchette
Gonzalo Muñoz
Thiago Serra
Calvin Tsay
AI4CE
160
37
0
29 Apr 2023
Towards Verifying the Geometric Robustness of Large-scale Neural Networks
Fu Lee Wang
Peipei Xu
Wenjie Ruan
Xiaowei Huang
AAML
148
10
0
29 Jan 2023
Safety Verification of Neural Network Control Systems Using Guaranteed Neural Network Model Reduction
Weiming Xiang
Zhongzhu Shao
47
3
0
17 Jan 2023
BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic
Wael Fatnassi
Haitham Khedr
Valen Yamamoto
Yasser Shoukry
53
7
0
22 Nov 2022
CertiFair: A Framework for Certified Global Fairness of Neural Networks
Haitham Khedr
Yasser Shoukry
FedML
80
23
0
20 May 2022
Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks
James Ferlez
Haitham Khedr
Yasser Shoukry
56
12
0
17 Nov 2021
Neural Network Repair with Reachability Analysis
Xiaodong Yang
Tomochika Yamaguchi
Hoang-Dung Tran
Bardh Hoxha
Taylor T. Johnson
Danil Prokhorov
AAML
62
30
0
09 Aug 2021
Reachability Analysis of Convolutional Neural Networks
Xiaodong Yang
Tomoya Yamaguchi
Hoang-Dung Tran
Bardh Hoxha
Taylor T. Johnson
Danil Prokhorov
FAtt
45
6
0
22 Jun 2021
SyReNN: A Tool for Analyzing Deep Neural Networks
Matthew Sotoudeh
Aditya V. Thakur
AAML
GNN
63
16
0
09 Jan 2021
Bounding the Complexity of Formally Verifying Neural Networks: A Geometric Approach
James Ferlez
Yasser Shoukry
48
7
0
22 Dec 2020
Evaluating the Safety of Deep Reinforcement Learning Models using Semi-Formal Verification
Davide Corsi
Enrico Marchesini
Alessandro Farinelli
OffRL
29
2
0
19 Oct 2020
Global Optimization of Objective Functions Represented by ReLU Networks
Christopher A. Strong
Haoze Wu
Aleksandar Zeljić
Kyle D. Julian
Guy Katz
Clark W. Barrett
Mykel J. Kochenderfer
AAML
57
33
0
07 Oct 2020
Reachable Sets of Classifiers and Regression Models: (Non-)Robustness Analysis and Robust Training
Anna-Kathrin Kopetzki
Stephan Günnemann
59
4
0
28 Jul 2020
Counterexample-Guided Learning of Monotonic Neural Networks
Aishwarya Sivaraman
G. Farnadi
T. Millstein
Guy Van den Broeck
57
53
0
16 Jun 2020
Online Monitoring for Neural Network Based Monocular Pedestrian Pose Estimation
Arjun Gupta
Luca Carlone
3DH
38
9
0
11 May 2020
NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems
Hoang-Dung Tran
Xiaodong Yang
Diego Manzanas Lopez
Patrick Musau
L. V. Nguyen
Weiming Xiang
Stanley Bak
Taylor T. Johnson
97
243
0
12 Apr 2020
Verification of Deep Convolutional Neural Networks Using ImageStars
Hoang-Dung Tran
Stanley Bak
Weiming Xiang
Taylor T. Johnson
AAML
66
129
0
12 Apr 2020
Reachability Analysis for Feed-Forward Neural Networks using Face Lattices
Xiaodong Yang
Hoang-Dung Tran
Weiming Xiang
Taylor Johnson
CVBM
94
19
0
02 Mar 2020
DeepSearch: A Simple and Effective Blackbox Attack for Deep Neural Networks
Fuyuan Zhang
Sankalan Pal Chowdhury
M. Christakis
AAML
58
8
0
14 Oct 2019
Testing and verification of neural-network-based safety-critical control software: A systematic literature review
Jin Zhang
Jingyue Li
85
48
0
05 Oct 2019
A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks
Matthew Sotoudeh
Aditya V. Thakur
24
4
0
17 Aug 2019
Computing Linear Restrictions of Neural Networks
Matthew Sotoudeh
Aditya V. Thakur
41
24
0
17 Aug 2019
Algorithms for Verifying Deep Neural Networks
Changliu Liu
Tomer Arnon
Christopher Lazarus
Christopher A. Strong
Clark W. Barrett
Mykel J. Kochenderfer
AAML
102
403
0
15 Mar 2019
Fast Neural Network Verification via Shadow Prices
Vicencc Rubies-Royo
Roberto Calandra
D. Stipanović
Claire Tomlin
AAML
89
41
0
19 Feb 2019
Specification-Guided Safety Verification for Feedforward Neural Networks
Weiming Xiang
Hoang-Dung Tran
Taylor T. Johnson
52
20
0
14 Dec 2018
Formal Verification of Neural Network Controlled Autonomous Systems
Xiaowu Sun
Haitham Khedr
Yasser Shoukry
103
140
0
31 Oct 2018
Verification for Machine Learning, Autonomy, and Neural Networks Survey
Weiming Xiang
Patrick Musau
A. Wild
Diego Manzanas Lopez
Nathaniel P. Hamilton
Xiaodong Yang
Joel A. Rosenfeld
Taylor T. Johnson
90
102
0
03 Oct 2018
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks
Weiming Xiang
Hoang-Dung Tran
Taylor T. Johnson
148
294
0
09 Aug 2017
1