91 citations · 426 across the 30 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LG2017★ 70 cited
Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations
Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson
Neural networks have been widely used to solve complex real-world problems. Due to the complicate, nonlinear, non-convex nature of neural networks, formal safety guarantees for the…
cs.LG2017★ 33 cited
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks
Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson
In this paper, the output reachable estimation and safety verification problems for multi-layer perceptron neural networks are addressed. First, a conception called maximum sensiti…