Stochastic Games with Parity Mean-payoff Objective
Résumé
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.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...