@article{10.1137/S0363012991217536,
    Address = {USA},
    Author = {Thistle, J. G. and Wonham, W. M.},
    File = {Control of Infinite Behavior of Finite Automata - thistle1994 - a - a - a - u.pdf},
    ISSN = {0363-0129},
    Journal = {SIAM J. Control Optim.},
    Keywords = {treeautomaton emptiness, Church's problem, discrete-event systems, $omega$-languages, $omega$-regular games, $omega$-automata, synthesis problems},
    Month = {July},
    Number = {4},
    Pages = {1075--1097},
    Publisher = {Society for Industrial and Applied Mathematics},
    Title = {Control of Infinite Behavior of Finite Automata},
    URL = {https://doi.org/10.1137/S0363012991217536},
    Volume = {32},
    Year = {1994},
    bdsk-url-1 = {https://doi.org/10.1137/S0363012991217536},
    date-added = {2020-02-06 08:34:50 +0100},
    date-modified = {2020-02-06 08:34:50 +0100},
    issue_date = {July 1994},
    numpages = {23},
    doi = {10.1137/S0363012991217536}
}

@article{10.1137/S0363012991217536, Address = {USA}, Author = {Thistle, J. G. and Wonham, W. M.}, File = {Control of Infinite Behavior of Finite Automata - thistle1994 - a - a - a - u.pdf}, ISSN = {0363-0129}, Journal = {SIAM J. Control Optim.}, Keywords = {treeautomaton emptiness, Church's problem, discrete-event systems, $omega$-languages, $omega$-regular games, $omega$-automata, synthesis problems}, Month = {July}, Number = {4}, Pages = {1075--1097}, Publisher = {Society for Industrial and Applied Mathematics}, Title = {Control of Infinite Behavior of Finite Automata}, URL = {https://doi.org/10.1137/S0363012991217536}, Volume = {32}, Year = {1994}, bdsk-url-1 = {https://doi.org/10.1137/S0363012991217536}, date-added = {2020-02-06 08:34:50 +0100}, date-modified = {2020-02-06 08:34:50 +0100}, issue_date = {July 1994}, numpages = {23}, doi = {10.1137/S0363012991217536} }