André Arnold, Aymeric Vincent, Igor Walukiewicz. Games for synthesis of controllers with partial observation. Theoretical Computer Science, 1(303):7-34, 2003. [doi]
@article{ArnoldVW03,
title = {Games for synthesis of controllers with partial observation},
author = {André Arnold and Aymeric Vincent and Igor Walukiewicz},
year = {2003},
doi = {10.1016/S0304-3975(02)00442-5},
url = {http://dx.doi.org/10.1016/S0304-3975(02)00442-5},
researchr = {https://researchr.org/publication/ArnoldVW03},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {1},
number = {303},
pages = {7-34},
}