1 citations · 1 across the 1 of their papers we have counts for
1 paper
Stephan Barth, Martin Hofmann
We describe a minimization procedure for nondeterministic Büchi automata (NBA). For an automaton A another automaton A_min with the minimal number of states is learned with the hel…