Travelled to:1 × Switzerland
Collaborated with:J.G.Thistle
Talks about:automata (2) problem (2) control (1) church (1) empti (1) tree (1)
Person: W. Murray Wonham
DBLP: Wonham:W=_Murray
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.