Christophe Stammet

Orcid: 0009-0008-4862-0213

According to our database¹, Christophe Stammet authored at least 2 papers between 2022 and 2023.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2023

Universality of Büchi Automata: Analysis With Graph Neural Networks.

[DOI]

IEEE Access, 2023

2022

Analyzing Büchi Automata with Graph Neural Networks.

[DOI]

CoRR, 2022