@inproceedings{AKP18, author = {S. Almagor and O. Kupferman and G. Perelli}, title = {Synthesis of Controllable Nash Equilibria in Games with Quantitative Objectives}, booktitle = ijcai18, pages = {35--41}, year = {2018} }