TY  - RPRT
TI  - Halting Recurrent GNNs and the Graded $μ$-Calculus
AU  - Jeroen Bollen
AU  - Jan Van den Bussche
AU  - Stijn Vansummeren
AU  - Jonni Virtema
PY  - 2025
UR  - https://arxiv.org/abs/2505.11050
ID  - 2505.11050
ER  -