Büchi automata with acceptance strategy
It turns out the answer is no, some counter-examples can be found in this paper.
Also here is a more recent work showing that such Büchi automata can be recognized in polynomial time.