UR4NNV: Neural Network Verification, Under-approximation Reachability Works!
Zhen LiangTaoran WuRan ZhaoBai XueJi WangWenjing YangShaojun DengWanwei LiuPublished in: CoRR (2024)
Keyphrases
- neural network
- neural network model
- artificial neural networks
- back propagation
- model checking
- genetic algorithm
- approximation error
- asynchronous circuits
- pattern recognition
- fuzzy logic
- multilayer perceptron
- approximation methods
- neural nets
- approximation algorithms
- recurrent neural networks
- closed form
- fault diagnosis
- state space
- training data
- real time
- bp neural network
- multi layer
- network model
- network architecture
- efficient computation
- special case
- fuzzy artmap
- backpropagation neural network