Random triples
Subject | Object |
---|---|
gptkb:Streett_automaton | Streett condition |
gptkb:parity_automaton | parity condition |
gptkb:deterministic_Muller_automaton | Muller condition |
gptkb:Rabin_automaton | gptkb:Rabin_acceptance_condition |
gptkb:Büchi_automaton | gptkb:Büchi_acceptance_condition |
gptkb:co-Büchi_automaton | co-Büchi condition |
gptkb:Muller_automaton | Muller condition |