133 citations · 155 across the 27 of their papers we have counts for
1 paper · 1 filter
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…