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

Weiming Xiang Hoang-Dung Tran Taylor T. Johnson

Published in: CoRR (2017)

Keyphrases

neural network
pattern recognition
information retrieval
small number
fault diagnosis
machine learning
image sequences
artificial neural networks
self organizing maps
formal methods