Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints

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 explore the concept of equilibr…