Enviar aquest missatge de text: Automated temporal equilibrium analysis: Verification and synthesis of multi-player games