Continuous Safety Verification of Neural Networks.
Chih-Hong ChengRongjie YanPublished in: CoRR (2020)
Keyphrases
- neural network
- safety analysis
- pattern recognition
- neural network model
- genetic algorithm
- support vector
- artificial neural networks
- back propagation
- self organizing maps
- computational intelligence
- continuous domains
- feedforward neural networks
- neural nets
- recurrent neural networks
- feed forward
- model checking
- fault diagnosis
- real time
- fuzzy logic
- support vector machine
- website
- learning algorithm
- data sets