Towards Safety Verification of Direct Perception Neural Networks.
Chih-Hong ChengChung-Hao HuangThomas BrunnerVahid HashemiPublished in: CoRR (2019)
Keyphrases
- neural network
- pattern recognition
- model checking
- feed forward
- artificial neural networks
- fuzzy logic
- neural network model
- fuzzy systems
- human perception
- multi layer
- self organizing maps
- back propagation
- genetic algorithm
- formal verification
- safety analysis
- database
- multi layer perceptron
- functional verification
- training algorithm
- multilayer perceptron
- radial basis function
- machine learning
- data mining