Pubblicazioni

Giving Instructions in Linear Temporal Logic

2022 - Time 2022

Gutierrez, Julian; Kraus, Sarit; Perelli, Giuseppe; Wooldridge, Michael

On the complexity of rational verification

2022 - ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE

Gutierrez, Julian; Najib, Muhammad; Perelli, Giuseppe; Wooldridge, Michael

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

Resolution of Blockchain Conflicts through Heuristics-based Game Theory and Multilayer Network Modeling

2020 - ICDCN '20: Proceedings of the 21st International Conference on Distributed Computing and Networking

Di Stefano, A.; Maesa, D. D. F.; Das, S. K.; Lio, P.