Computing Optimal Strategies for Markov Decision Processes with Parity and Positive-Average Conditions
Résumé
We study Markov decision processes (one-player stochastic games) equipped with parity and positive-average conditions. In these games, the goal of the player is to maximize the probability that both the parity and the positive-average conditions are fulfilled. We show that the values of these games are computable. We also show that optimal strategies exist, require only finite memory and can be effectively computed.
Fichier principal
Gimbert_Oualhadj_Paul_MDPs_parity_positiveaverage.pdf (243.92 Ko)
Télécharger le fichier
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...