Non-Zero-Sum Stopping Games in Discrete Time

Two Player Non Zero-sum Stopping Games in Discrete Time

We prove that every two player non zero-sum stopping game in discrete time admits an -equilibrium in randomized strategies, for every > 0. We use a stochastic variation of Ramsey Theorem, which enables us to reduce the problem to that of studying properties of -equilibria in a simple class of stochastic games with finite state space.

The Turnpike Property for Dynamic Discrete Time Zero-sum Games

We consider a class of dynamic discrete-time two-player zero-sum games. We show that for a generic cost function and each initial state, there exists a pair of overtaking equilibria strategies over an infinite horizon. We also establish that for a generic cost function f , there exists a pair of stationary equilibria strategies (xf ,yf ) such that each pair of “approximate” equilibria strategie...

Non-Zero Sum Games for Reactive Synthesis

In this invited contribution [7], 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.

Non-zero-sum Dresher inspection games

An inspection game is here a non-cooperative two-person-game between an inspector and an inspectee. It models a situation where the inspector controls the inspectee who has an incentive to violate certain legal obligations. A recent survey of inspection games applied to data verification, for example in nuclear material safeguards, is given in [1]. Dresher [2] described a sequential inspection ...

Repeated Games Non - Zero - Sum of Incomplete