@inproceedings{KPV14, author = "O. Kupferman and G. Perelli and M.Y. Vardi", title = "Synthesis with Rational Environments", booktitle = "Proc. 12th European Conference on Multi-Agent Systems", series = lncs, publisher = {Springer}, year = "2014" }