Synthesis with incomplete information (1997)

by O Kupferman, M Y Vardi
Venue:In Proc. 2nd Int. Conf. Temporal Logic (ICTL’97