Algorithms for Verifying Deep Neural Networks.

Changliu Liu Tomer Arnon Christopher Lazarus Clark W. Barrett Mykel J. Kochenderfer

Published in: CoRR (2019)

Keyphrases

neural network
machine learning algorithms
computationally efficient
pattern recognition
genetic algorithm
data structure

recurrent neural networks
theoretical analysis
worst case
computational complexity
learning algorithm

artificial neural networks
graphical models
machine learning
data mining
benchmark datasets

orders of magnitude
computationally expensive
times faster
convergence rate
real time