Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding.
Zhilu WangChao HuangQi ZhuPublished in: DATE (2022)
Keyphrases
- neural network
- global information
- network architecture
- third party
- genetic algorithm
- pattern recognition
- artificial neural networks
- back propagation
- network model
- hopfield network
- network structure
- computer networks
- hopfield neural network
- elman network
- single layer
- radial basis function network
- network management
- recurrent neural networks
- communication networks
- network traffic
- feed forward
- recurrent networks
- social network analysis
- wireless sensor networks