Implicit Non-deterministic Buchi determinization
If I understand your model correctly, then it's enough for you that all runs either get stuck in accepting states, or get stuck in non-accepting states.
If this is the case, you can also use deterministic weak Buchi automata, which are more expressive than $satefy\cup co-safety$.