5 citations · 11 across the 6 of their papers we have counts for
1 paper · 1 filter
Lorenzo Clemente, Richard Mayr
We present an efficient algorithm to reduce the size of nondeterministic Buchi word automata, while retaining their language. Additionally, we describe methods to solve PSPACE-comp…