Synthesis of Reward Machines for Multi-Agent Equilibrium Design (Full
Version)
Synthesis of Reward Machines for Multi-Agent Equilibrium Design (Full
Version)
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, equilibrium design. Unlike mechanism design, the designer's authority in equilibrium design is more constrained; she can only modify the incentive structures in a given game to achieve …