School of Electr. Eng. and Computer Science, University of Kassel, Germany
Marco Sälzer, Martin Lange
formal verification;graph neural networks
Fundamental Limits in Formal Verification of Message-Passing Neural Networks