Dettaglio pubblicazione
2020, ARTIFICIAL INTELLIGENCE, Pages -25 (volume: 287)
Automated temporal equilibrium analysis: Verification and synthesis of multi-player games (01a Articolo in rivista)
Gutierrez Julian, Najib Muhammad, Perelli Giuseppe, Wooldridge Michael
Gruppo di ricerca: Artificial Intelligence and Knowledge Representation
keywords