most citedAnalyzing Büchi Automata with Graph Neural Networks

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.FL2022★ 1 cited

Analyzing Büchi Automata with Graph Neural Networks

Christophe Stammet, Prisca Dotti, Ulrich Ultes-Nitsche +1

Büchi Automata on infinite words present many interesting problems and are used frequently in program verification and model checking. A lot of these problems on Büchi automata are…