133 citations · 155 across the 27 of their papers we have counts for
1 paper · 2 filters
Nir Piterman
In this paper we revisit Safra's determinization constructions for automata on infinite words. We show how to construct deterministic automata with fewer states and, most important…