Safety Verification of Deep Neural Networks.
Xiaowei HuangMarta KwiatkowskaSen WangMin WuPublished in: CAV (1) (2017)
Keyphrases
- neural network
- pattern recognition
- artificial neural networks
- safety analysis
- fuzzy logic
- model checking
- recurrent neural networks
- back propagation
- face verification
- network architecture
- case study
- neural network model
- feed forward
- information systems
- formal analysis
- intelligent vehicles
- competitive learning
- false acceptance
- multilayer perceptron
- training process
- fuzzy systems
- associative memory
- fault diagnosis
- artificial intelligence