@article{Gutierrez_2020,
    doi = {10.1016/j.artint.2020.103353},
    url = {https://doi.org/10.1016%2Fj.artint.2020.103353},
    year = {2020},
    month = {oct},
    publisher = {Elsevier {BV}},
    volume = {287},
    pages = {103353},
    author = {Julian Gutierrez and Muhammad Najib and Giuseppe Perelli and Michael Wooldridge},
    title = {Automated temporal equilibrium analysis: Verification and synthesis of multi-player games},
    journal = {Artificial Intelligence}
}

@article{Gutierrez_2020, doi = {10.1016/j.artint.2020.103353}, url = {https://doi.org/10.1016%2Fj.artint.2020.103353}, year = {2020}, month = {oct}, publisher = {Elsevier {BV}}, volume = {287}, pages = {103353}, author = {Julian Gutierrez and Muhammad Najib and Giuseppe Perelli and Michael Wooldridge}, title = {Automated temporal equilibrium analysis: Verification and synthesis of multi-player games}, journal = {Artificial Intelligence} }