@article{automatedtemporalequilibriumanalysis,
  title = {Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games},
  author = {Julian Gutierrez and Muhammad Najib and Giuseppe Perelli and Michael Wooldridge},
  year = {2020},
  eprint = {2008.05638},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2008.05638v1},
}