Travelled to:1 × Switzerland
Collaborated with:W.M.Wonham
Talks about:automata (2) problem (2) control (1) church (1) empti (1) tree (1)
Person: John G. Thistle
DBLP: Thistle:John_G=
Contributed to:
1991Wrote 1 papers:
- CSL-1991-ThistleW #automaton #problem
- Control of ω-Automata, Church’s Problem, and the Emptiness Problem for Tree ω-Automata (JGT, WMW), pp. 367–382.