Control of omega-Automata, Church's Problem, and the Emptiness Problem for Tree omega-Automata.

John G. Thistle, Walter Murray Wonham

Browse the full CSL paper archive.