Course Description

Raw: CSC 4890  or CSC 7101  or equivalent. Automata on infinite objects; Buechi Automata; Muller

Stemmed: csc csc equival automata infinit object buechi automata muller automata rabin automata safeti live p

Inferred Topics

No prerequisites registered.