Examining Games and a Way to Repair Them
When: Thursday, November 4, 2021, 3pm (CEST).
Where: Zoom online, check the address in the Google Calendar Event.
Topic: Examining Games and a Way to Repair Them.
Speaker: Muhammad Najib, postdoctoral researcher at TU Kaiserslautern, Germany.
Abstract
Classical notion of correctness in formal verification is not appropriate for multi-agent systems–it does not capture the strategic behaviour of rational agents. As such, a different concept of correctness was proposed in rational verification. In proving such a correctness, we turn multi-agent systems into multi-player games and use game-theoretic techniques to analyse the games. In our works, we study various kinds of games with various goals and settings, and provide an algorithmic techniques to solve problems related to rational verification. We also propose a method to “repair” games should we find them “broken”.
This talk is a summary of a series of works with Julian Gutierrez, Lewis Hammond, Anthony W. Lin, Giuseppe Perelli, and Mike Wooldridge.
Short Bio
Muhammad Najib is a postdoctoral researcher at TU Kaiserslautern, Germany, in Automated Reasoning Group with Anthony W. Lin. He did his DPhil/PhD in computer science at the University of Oxford supervised by Mike Wooldridge and Julian Gutierrez. His research is mainly about the use of formal techniques for verifying and reasoning about systems composed of multiple self-interested intelligent agents.