この資料をSMS送信: Automated temporal equilibrium analysis: Verification and synthesis of multi-player games