28 citations · 75 across the 20 of their papers we have counts for
1 paper · 2 filters
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…