Deakstadieđáhus: Automated temporal equilibrium analysis: Verification and synthesis of multi-player games