Seol mar théacs é seo: Automated temporal equilibrium analysis: Verification and synthesis of multi-player games