Towards Safety Verification of Direct Perception Neural Networks.
Chih-Hong ChengChung-Hao HuangThomas BrunnerVahid HashemiPublished in: DATE (2020)
Keyphrases
- neural network
- artificial neural networks
- safety analysis
- face verification
- competitive learning
- neural nets
- model checking
- multilayer perceptron
- fuzzy systems
- recurrent neural networks
- feed forward
- neural network model
- fault diagnosis
- pattern recognition
- false acceptance rate
- real time
- fuzzy logic
- machine intelligence
- case study
- formal verification
- verification method
- machine learning