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

Casas, David

  1. Don's conjecture for binary completely reachable automata: an approach and its limitations
    2023/10/31 by David Casas, Mikhail V. Volkov, Casas, David +1 · 1 citation
    Computer Science · #68Q45 #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Machine Learning and Algorithms #semigroups and automata theory