Nash Equilibrium in Generalised Muller Games

We suggest that extending Muller games with preference ordering for players is a natural way to reason about unbounded duration games. In this context, we look at the standard solution concept of Nash equilibrium for non-zero sum games. We show that Nash equilibria always exists for such generalised Muller games on finite graphs and present a procedure to compute an equilibrium strategy profile. We also give a procedure to compute a subgame perfect equilibrium when it exists in such games.

• Type: Conference
• Year: 2009
• Where: FSTTCS
• Authors: Soumya Paul, Sunil Easaw Simon
• Keywords: FSTTCS 2009, Muller Games, Non-zero Sum Games, Theoretical Computer Science, Unbounded Duration Games