Halting Recurrent GNNs and the Graded mu-Calculus.

Jeroen Bollen, Jan Van den Bussche, Stijn Vansummeren, Jonni Virtema

Browse the full KR paper archive.