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…