Expediting Neural Network Verification via Network Reduction.
Yuyi ZhongRuiwei WangSiau-Cheng KhooPublished in: ASE (2023)
Keyphrases
- neural network
- network model
- network architecture
- radial basis
- network structure
- network traffic
- peer to peer
- wavelet neural network
- elman network
- recurrent networks
- connection weights
- computer networks
- genetic algorithm
- hopfield network
- growing neural gas
- learning vector quantization
- neural network model
- back propagation
- artificial neural networks
- neural nets
- recurrent neural networks
- radial basis function
- model checking
- petri net
- fault diagnosis
- hidden neurons