Streett acceptance condition

GPTKB entity

Statements (15)
Predicate Object
gptkbp:instanceOf automata acceptance condition
gptkbp:describes infinite runs
gptkbp:formalDefinition A run is accepting if for every pair (E_i, F_i), if E_i is visited infinitely often, then F_i is also visited infinitely often.
https://www.w3.org/2000/01/rdf-schema#label Streett acceptance condition
gptkbp:introducedIn 1982
gptkbp:namedAfter Robert Streett
gptkbp:relatedTo gptkb:Rabin_acceptance_condition
gptkb:Muller_acceptance_condition
parity acceptance condition
gptkbp:usedIn gptkb:Büchi_automaton
automata theory
ω-automata
gptkbp:bfsParent gptkb:Rabin_acceptance_condition
gptkb:Büchi_acceptance_condition
gptkbp:bfsLayer 7