Pubblicazioni

Rational verification: Game-Theoretic Verification of Multi-Agent Systems

2021 - APPLIED INTELLIGENCE

Abate, Alessandro; Gutierrez, Julian; Hammond, Lewis; Harrenstein, Paul; Kwiatkowska, Marta; Najib, Muhammad; Perelli, Giuseppe; Steeples, Thomas; Wooldridge, Michael