Home » Publication » 23678

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

keywords
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma