Counter-free Automata (1971)

by R McNaughton, S Papert
Venue:102 Efficient LTL Synthesis