Temporal Synthesis for Bounded Systems and Environments.

Orna Kupferman, Yoad Lustig, Moshe Y. Vardi, Mihalis Yannakakis

Browse the full STACS paper archive.