Labeled generalized Büchi automaton