Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks.

Guy Katz Clark W. Barrett David L. Dill Kyle Julian Mykel J. Kochenderfer

Published in: CAV (1) (2017)

Keyphrases

neural network
artificial neural networks
pattern recognition
genetic algorithm
fuzzy logic
back propagation
recurrent neural networks
neural nets
bayesian networks
orders of magnitude
fault diagnosis
feed forward
fuzzy systems
network architecture