Continuous Safety Verification of Neural Networks.
Chih-Hong ChengRongjie YanPublished in: DATE (2021)
Keyphrases
- neural network
- model checking
- back propagation
- artificial neural networks
- safety analysis
- fault diagnosis
- artificial intelligence
- pattern recognition
- recurrent neural networks
- rule extraction
- web services
- fuzzy logic
- genetic algorithm
- feed forward
- fuzzy systems
- signature verification
- formal verification
- asynchronous circuits
- database