Zero-Sum Stochastic Games over the Field of Real Algebraic Numbers
Résumé
We consider a finite state, finite action, zero-sum stochastic games with data defining the game lying in the ordered field of real algebraic numbers.
In both the discounted and the limiting average versions of these games, we prove that the value vector also lies in the same field of real algebraic
numbers. Our method supplies finite construction of univariate polynomials whose roots contain these value vectors. In the case where the data
of the game are rational, the method also provides a way of checking whether the entries of the value vectors are also rational.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...