Automated temporal equilibrium analysis: Verification and synthesis of multi-player games
Gutierrez, Julian, Najib, Muhammad, Perelli, Giuseppe, Wooldridge, MichaelVolume:
287
Journal:
Artificial Intelligence
DOI:
10.1016/j.artint.2020.103353
Date:
October, 2020
File:
PDF, 781 KB
2020