Synthesis with incomplete information (2000)

by O Kupferman, M Vardi
Venue:Advances in Temporal Logic