New study shows Nash equilibria always exist in unbounded duration games!
Extending Muller games with player preferences helps analyze long games. Nash equilibria always exist in these games on finite graphs, and we can find equilibrium strategies. Subgame perfect equilibria can also be found in some cases.