Open Systems in Reactive Environments: Control and Synthesis.

Orna Kupferman, P. Madhusudan, P. S. Thiagarajan, Moshe Y. Vardi

Browse the full CONCUR paper archive.