Formal methods
Büchi automaton
Ω-automaton
Linear temporal logic
SIGNAL
Powerset construction
Automata theory
Theoretical computer science
Computer science