ReluDiff: Differential Verification of Deep Neural Networks.
Brandon PaulsenJingbo WangChao WangPublished in: CoRR (2020)
Keyphrases
- neural network
- pattern recognition
- genetic algorithm
- back propagation
- model checking
- fault diagnosis
- fuzzy systems
- multilayer perceptron
- neural network model
- fuzzy logic
- artificial neural networks
- recurrent neural networks
- formal methods
- deep learning
- formal verification
- real time
- verification method
- activation function
- multi layer
- self organizing maps
- information systems
- databases