Sign in
Abstract Interpretation Based Robustness Certification for Graph Convolutional Networks.
Yang Liu
Jiaying Peng
Liang Chen
Zibin Zheng
Published in:
ECAI (2020)
Keyphrases
</>
abstract interpretation
termination analysis
static analysis
social networks
active rules
model checking
network structure
knowledge base
dynamic analysis