6 citations · 7 across the 9 of their papers we have counts for
3 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…
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…
Solving Parity Games Using An Automata-Based Algorithm
Antonio Di Stasio, Aniello Murano, Giuseppe Perelli +1
Parity games are abstract infinite-round games that take an important role in formal verification. In the basic setting, these games are two-player, turn-based, and played under pe…