Qualitative Determinacy and Decidability of Stochastic Games with Signals - Archive ouverte HAL Access content directly
Conference Papers Year : 2009

Qualitative Determinacy and Decidability of Stochastic Games with Signals


We consider the standard model of finite two-person zero-sum stochastic games with signals. We are interested in the existence of almost-surely winning or positively winning strategies, under reachability, safety, Büchi or co-Büchi winning objectives. We prove two \emph{qualitative determinacy} results. First, in a reachability game either player 1 can achieve almost-surely the reachability objective, or player 2 can ensure surely the complementary safety objective, or both players have positively winning strategies. Second, in a Büchi game if player 1 cannot achieve almost-surely the Büchi objective, then player 2 can ensure positively the complementary co-Büchi objective. We prove that players only need strategies with finite-memory, whose sizes range from no memory at all to doubly-exponential number of states, with matching lower bounds. Together with the qualitative determinacy results, we also provide fix-point algorithms for deciding which player has an almost-surely winning or a positively winning strategy and for computing the finite memory strategy. Complexity ranges from EXPTIME to 2-EXPTIME with matching lower bounds, and better complexity can be achieved for some special cases where one of the players is better informed than her opponent.
Fichier principal
Vignette du fichier
lics.pdf (239.11 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00356566 , version 1 (27-01-2009)


  • HAL Id : hal-00356566 , version 1


Nathalie Bertrand, Blaise Genest, Hugo Gimbert. Qualitative Determinacy and Decidability of Stochastic Games with Signals. LICS'09, IEEE Symposium on logic in computer science, Aug 2009, Los Angeles, United States. pp.0. ⟨hal-00356566⟩
419 View
270 Download


Gmail Facebook Twitter LinkedIn More