Văn bản này: Synthesis of controllable nash equilibria in games with quantitative objectives