7 research outputs found
Infinite subgame perfect equilibrium in the Hausdorff difference hierarchy
Subgame perfect equilibria are specific Nash equilibria in perfect
information games in extensive form. They are important because they relate to
the rationality of the players. They always exist in infinite games with
continuous real-valued payoffs, but may fail to exist even in simple games with
slightly discontinuous payoffs. This article considers only games whose outcome
functions are measurable in the Hausdorff difference hierarchy of the open sets
(\textit{i.e.} when in the Baire space), and it characterizes the
families of linear preferences such that every game using these preferences has
a subgame perfect equilibrium: the preferences without infinite ascending
chains (of course), and such that for all players and and outcomes
we have . Moreover at
each node of the game, the equilibrium constructed for the proof is
Pareto-optimal among all the outcomes occurring in the subgame. Additional
results for non-linear preferences are presented.Comment: The alternative definition of the difference hierarchy has changed
slightl
Non-Zero Sum Games for Reactive Synthesis
In this invited contribution, we summarize new solution concepts useful for
the synthesis of reactive systems that we have introduced in several recent
publications. These solution concepts are developed in the context of non-zero
sum games played on graphs. They are part of the contributions obtained in the
inVEST project funded by the European Research Council.Comment: LATA'16 invited pape
Weak Subgame Perfect Equilibria and their Application to Quantitative Reachability
We study n-player turn-based games played on a finite directed graph. For each play, the players have to pay a cost that they want to minimize. Instead of the well-known notion of Nash equilibrium (NE), we focus on the notion of subgame perfect equilibrium (SPE), a refinement of NE well-suited in the framework of games played on graphs. We also study natural variants of SPE, named weak (resp. very weak) SPE, where players who deviate cannot use the full class of strategies but only a subclass with a finite number of (resp. a unique) deviation step(s).
Our results are threefold. Firstly, we characterize in the form of a Folk theorem the set of all plays that are the outcome of a weak SPE. Secondly, for the class of quantitative reachability games, we prove the existence of a finite-memory SPE and provide an algorithm for computing it (only existence was known with no information regarding the memory). Moreover, we show that the existence of a constrained SPE, i.e. an SPE such that each player pays a cost less than a given constant, can be decided. The proofs rely on our Folk theorem for weak SPEs (which coincide with SPEs in the case of quantitative reachability games) and on the decidability of MSO logic on infinite words. Finally with similar techniques, we provide a second general class of games for which the existence of a (constrained) weak SPE is decidable
Weak subgame perfect equilibria and their application to quantitative reachability
We study n-player turn-based games played on a finite directed graph. For each play, the players have to pay a cost that they want to minimize. Instead of the well-known notion of Nash equilibrium (NE), we focus on the notion of subgame perfect equilibrium (SPE), a refinement of NE well-suited in the framework of games played on graphs. We also study natural variants of SPE, named weak (resp. very weak) SPE, where players who deviate cannot use the full class of strategies but only a subclass with a finite number of (resp. a unique) deviation step(s). Our results are threefold. Firstly, we characterize in the form of a Folk theorem the set of all plays that are the outcome of a weak SPE. Secondly, for the class of quantitative reachability games, we prove the existence of a finite-memory SPE and provide an algorithm for computing it (only existence was known with no information regarding the memory). Moreover, we show that the existence of a constrained SPE, i.e. an SPE such that each player pays a cost less than a given constant, can be decided. The proofs rely on our Folk theorem for weak SPEs (which coincide with SPEs in the case of quantitative reachability games) and on the decidability of MSO logic on infinite words. Finally with similar techniques, we provide a second general class of games for which the existence of a (constrained) weak SPE is decidable.SCOPUS: cp.pinfo:eu-repo/semantics/publishe