@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"
}