Halting Recurrent GNNs and the Graded $μ$-Calculus

Open in new window