Safety Verification of Deep Neural Networks.
Xiaowei HuangMarta KwiatkowskaSen WangMin WuPublished in: CoRR (2016)
Keyphrases
- neural network
- pattern recognition
- back propagation
- competitive learning
- multi layer
- model checking
- artificial neural networks
- fuzzy logic
- fault diagnosis
- feed forward
- genetic algorithm
- face verification
- neural network model
- formal verification
- signature verification
- learning rules
- safety analysis
- activation function
- hidden layer
- fuzzy systems
- neural nets
- recurrent neural networks
- soft computing
- multilayer perceptron
- web services
- computer vision