Streett automaton
Home
Wiki
Redirect to:
Ω-automaton#Acceptance conditions