Synthesis with incomplete information (1997)

by O Kupferman, M Y Vardi
Venue:In Proc. ICTL