Rational Synthesis.

Dana Fisman, Orna Kupferman, Yoad Lustig

Browse the full TACAS paper archive.