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: CoRR (2017)

Keyphrases

neural network
artificial neural networks
pattern recognition
fuzzy logic
computationally efficient
multilayer perceptron
multi layer
fuzzy systems
statistical machine translation
real time
genetic algorithm
back propagation
feed forward
constraint solving