Global Robustness Verification Networks.

Weidi Sun Yuteng Lu Xiyue Zhang Zhanxing Zhu Meng Sun

Published in: CoRR (2020)

Keyphrases

social networks
real world
telecommunication networks
model checking
network size
face verification
network structure
asynchronous circuits
formal verification
formal analysis
heterogeneous networks
global information
network model
data sets
complex systems
mobile robot
multiscale
machine learning
neural network