发送短信: Synthesis of controllable nash equilibria in games with quantitative objectives