Applying Blackwell optimality: priority mean-payoff games as limits of multi-discounted game
Résumé
We define and examine priority mean-payoff games - a natural extension of parity games. By adapting the notion of Blackwell optimality borrowed from the theory of Markov decision processes we show that priority mean-payoff games can be seen as a limit of special multi-discounted games.
Fichier principal
Applying_Blackwell_optimality_gimbert_zielonka.pdf (313.83 Ko)
Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)