31 citations · 242 across the 55 of their papers we have counts for
1 paper · 2 filters
Sven Schewe
This paper discusses the hardness of finding minimal good-for-games (GFG) Buchi, Co-Buchi, and parity automata with state based acceptance. The problem appears to sit between findi…