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.
Origine : Fichiers produits par l'(les) auteur(s)