Deterministic priority mean-payoff games as limits of discounted games
Résumé
Inspired by the paper of de Alfaro, Henzinger and Majumdar about discounted \mu-calculus we show new surprising links between parity games and different classes of discounted games.
Fichier principal
Deterministic_Priority_Mean_Payoff_Games_as_limits_of_Discounted_Games_Gimbert_Zielonka.pdf (125.47 Ko)
Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...