6 citations · 8 across the 7 of their papers we have counts for
4 papers · 1 filter
Synthesis of Reward Machines for Multi-Agent Equilibrium Design (Full Version)
Muhammad Najib, Giuseppe Perelli
Mechanism design is a well-established game-theoretic paradigm for designing games to achieve desired outcomes. This paper addresses a closely related but distinct concept, equilib…
Concurrent Stochastic Lossy Channel Games
Daniel Stan, Muhammad Najib, Anthony Widjaja Lin +1
Concurrent stochastic games are an important formalism for the rational verification of probabilistic multi-agent systems, which involves verifying whether a temporal logic propert…
Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games (Full Version)
Julian Gutierrez, Anthony W. Lin, Muhammad Najib +2
Concurrent multi-player mean-payoff games are important models for systems of agents with individual, non-dichotomous preferences. Whilst these games have been extensively studied…
Equilibrium Design for Concurrent Games
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli +1
In game theory, mechanism design is concerned with the design of incentives so that a desired outcome of the game can be achieved. In this paper, we study the design of incentives…