Christophe Stammet

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 2

Top Topics

Back Propagation

Graph Theoretic

Top Venues

Publications

Christophe Stammet, Ulrich Ultes-Nitsche, Andreas Fischer
Universality of Büchi Automata: Analysis With Graph Neural Networks. IEEE Access 11 (2023)
Christophe Stammet, Prisca Dotti, Ulrich Ultes-Nitsche, Andreas Fischer
Analyzing Büchi Automata with Graph Neural Networks. CoRR (2022)