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