Synthesis with Rational Environments.

Orna Kupferman, Giuseppe Perelli, Moshe Y. Vardi

Browse the full EUMAS paper archive.