Dettaglio pubblicazione
2021, APPLIED INTELLIGENCE, Pages -
Rational verification: Game-Theoretic Verification of Multi-Agent Systems (01a Articolo in rivista)
Abate Alessandro, Gutierrez Julian, Hammond Lewis, Harrenstein Paul, Kwiatkowska Marta, Najib Muhammad, Perelli Giuseppe, Steeples Thomas, Wooldridge Michael
Gruppo di ricerca: Artificial Intelligence and Knowledge Representation
keywords