Games Where You Can Play Optimally Without Any Memory

Abstract. Reactive systems are often modelled as two person antagonistic games where one player represents the system while his adversary represents the environment. Undoubtedly, the most popular games in this context are parity games and their cousins (Rabin, Streett and Muller games). Recently however also games with other types of payments, like discounted or mean-payoff [5,6], previously used only in economic context, entered into the area of system modelling and verification. The most outstanding property of parity, mean-payoff and discounted games is the existence of optimal positional (memoryless) strategies for both players. This observation raises two questions: (1) can we characterise the family of payoff mappings for which there always exist optimal positional strategies for both players and (2) are there other payoff mappings with practical or theoretical interest and admitting optimal positional strategies. This paper provides a complete answer to the first question ...

• Type: Conference
• Year: 2005
• Where: CONCUR
• Authors: Hugo Gimbert, Wieslaw Zielonka
• Keywords: CONCUR 2005, Optimal Positional Strategies, Payoff Mappings, Person Antagonistic Games