Pubblicazioni

Expressiveness and Nash Equilibrium in Iterated Boolean Games

2021 - ACM TRANSACTIONS ON COMPUTATIONAL LOGIC

Gutierrez, Julian; Harrenstein, Paul; Perelli, Giuseppe; Wooldridge, Michael

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