Towards Proving the Adversarial Robustness of Deep Neural Networks.

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

Published in: FVAV@iFM (2017)

Keyphrases

neural network
pattern recognition
artificial neural networks
recurrent neural networks
fuzzy logic
multiscale
databases
multi layer
neural network model
back propagation
multi agent
genetic algorithm
artificial intelligence
feed forward
associative memory
real time
learning rules
competitive learning