TY  - RPRT
TI  - Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games
AU  - Julian Gutierrez
AU  - Muhammad Najib
AU  - Giuseppe Perelli
AU  - Michael Wooldridge
PY  - 2020
UR  - https://arxiv.org/abs/2008.05638
ID  - 2008.05638
ER  -