The Internet Archive has a preservation copy of this work in our general collections.
The file type is
Turn-based stochastic games and its important subclass Markov decision processes (MDPs) provide models for systems with both probabilistic and nondeterministic behaviors. We consider turn-based stochastic games with two classical quantitative objectives: discounted-sum and long-run average objectives. The game models and the quantitative objectives are widely used in probabilistic verification, planning, optimal inventory control, network protocol and performance analysis. Games and MDPs thatarXiv:1107.2132v1 fatcat:zem3oz6yifhpvpk6s6d3upbz74