Stochastic Games with Parity Mean-payoff Objective

Krishnendu Chatterjee (1) , Laurent Doyen (2) , Hugo Gimbert (3) , Youssouf Oualhadj (3)

1 IST Austria - Institute of Science and Technology [Klosterneuburg, Austria]
2 LSV - Laboratoire Spécification et Vérification [Cachan]
3 LaBRI - Laboratoire Bordelais de Recherche en Informatique

In this paper, we compute value of two-player games with perfect information equipped with the parity and mean pay-off objectives. Moreover we show that even though the optimal strategies may require infinite memory, there exists an NP algorithm that computes the almost-sure region.

Mots clés: stochastic games; quantitative analysis

Domaines: Informatique et théorie des jeux [cs.GT]

Krishnendu Chatterjee, Laurent Doyen, Hugo Gimbert, Youssouf Oualhadj. Stochastic Games with Parity Mean-payoff Objective. 2012. ⟨hal-00766251⟩