TY  - RPRT
TI  - Fundamental Limits in Formal Verification of Message-Passing Neural Networks
AU  - Marco Sälzer
AU  - Martin Lange
PY  - 2022
UR  - https://arxiv.org/abs/2206.05070
ID  - 2206.05070
ER  -