TY - GEN T1 - Halting Recurrent GNNs and the Graded $μ$-Calculus PY - 2025/05/16 AU - Bollen J AU - Bussche JVD AU - Vansummeren S AU - Virtema J ED - Y2 - 2025/06/09 ER -