TY  - RPRT
TI  - Certifying Robustness of Graph Convolutional Networks for Node Perturbation with Polyhedra Abstract Interpretation
AU  - Boqi Chen
AU  - Kristóf Marussy
AU  - Oszkár Semeráth
AU  - Gunter Mussbacher
AU  - Dániel Varró
PY  - 2025
DO  - 10.1007/s10618-025-01180-w
UR  - https://arxiv.org/abs/2405.08645
ID  - 2405.08645
ER  -