André Arnold, Aymeric Vincent, Igor Walukiewicz. Games for synthesis of controllers with partial observation. Theoretical Computer Science, 1(303):7-34, 2003. [doi]
No references recorded for this publication.
No citations of this publication recorded.