Analyzing Büchi Automata with Graph Neural Networks. - Christophe Stammet; Prisca Dotti; Ulrich Ultes-Nitsche; Andreas Fischer (CoRR, 2022)