CAPM: Fast and Robust Verification on Maxpool-based CNN via Dual Network.
Jia-Hau BaiChi-Ting LiuYu WangFu-Chieh ChangPei-Yuan WuPublished in: CoRR (2024)
Keyphrases
- social networks
- link prediction
- network structure
- social network analysis
- complex networks
- heterogeneous networks
- cellular neural networks
- real time
- community structure
- information systems
- distributed systems
- computationally efficient
- intrusion detection
- model checking
- formal verification
- convolutional neural network