Input Validation for Neural Networks via Local Robustness Verification.
Jiangchao LiuLiqian ChenAntoine MinéHengbiao YuJi WangPublished in: QRS Companion (2023)
Keyphrases
- neural network
- pattern recognition
- artificial neural networks
- desired output
- back propagation
- self organizing maps
- multi layer
- feature selection
- fault diagnosis
- model checking
- multilayer perceptron
- recurrent neural networks
- fuzzy systems
- feed forward
- hidden units
- formal verification
- learning rules
- training algorithm
- neural network model
- social networks