Picture for Christophe Stammet

Christophe Stammet

Analyzing Büchi Automata with Graph Neural Networks

Add code
Jun 20, 2022
Figure 1 for Analyzing Büchi Automata with Graph Neural Networks
Figure 2 for Analyzing Büchi Automata with Graph Neural Networks
Figure 3 for Analyzing Büchi Automata with Graph Neural Networks
Viaarxiv icon