@misc{indiciae9087cc3064eb,
  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},
  url = {https://arxiv.org/abs/2008.05638},
  note = {Source identifier: 2008.05638}
}