Yang Liu, Jiaying Peng, Liang Chen, Zibin Zheng. Abstract Interpretation Based Robustness Certification for Graph Convolutional Networks. In Giuseppe De Giacomo, Alejandro Catalá, Bistra Dilkina, Michela Milano, Senén Barro, Alberto Bugarín, Jérôme Lang, editors, ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020). Volume 325 of Frontiers in Artificial Intelligence and Applications, pages 1309-1315, IOS Press, 2020. [doi]
Abstract is missing.