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

Universality of Büchi Automata: Analysis With Graph Neural Networks. - Christophe Stammet; Ulrich Ultes-Nitsche; Andreas Fischer (IEEE Access, 2023)