Effective Synthesis of Asynchronous Systems from GR(1) Specifications.

Uri Klein, Nir Piterman, Amir Pnueli

Browse the full VMCAI paper archive.