vix.ing · top · new · best · stats · spec

Olivier Idir

  1. Explorable Parity Automata
    2024/10/30 by Émile Hazard, Hazard, Emile, Olivier Idir +3 · 1 citation
    Computer Science · #Formal Methods in Verification #semigroups and automata theory #Machine Learning and Algorithms