Kuperberg, Denis
- Tree algebras and bisimulation-invariant MSO on finite graphs
2024/07/17 by Colcombet, Thomas, Doumane, Amina, Kuperberg, Denis · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Explorable Parity Automata
2024/10/30 by Émile Hazard, Olivier Idir, Hazard, Emile +3 · 1 citation
Computer Science · #Formal Methods in Verification #semigroups and automata theory #Machine Learning and Algorithms