Bibliography

1

J. Esparza, A. Kucera, and R. Mayr.
Quantitative analysis of probabilistic pushdown automata: Expectations and variances.
In LICS, pages 117-126. IEEE Computer Society, 2005.

2

K. Etessami and M. Yannakakis.
Recursive markov chains, stochastic grammars, and monotone systems of nonlinear equations.
In V. Diekert and B. Durand, editors, STACS, volume 3404 of LNCS, pages 340-352. Springer, 2005.

3

K. Etessami and M. Yannakakis.
Recursive markov decision processes and recursive stochastic games.
In L. Caires, G. F. Italiano, L. Monteiro, C. Palamidessi, and M. Yung, editors, ICALP, volume 3580 of LNCS, pages 891-903. Springer, 2005.

4

K. Etessami and M. Yannakakis.
Efficient qualitative analysis of classes of recursive markov decision processes and simple stochastic games.
In B. Durand and W. Thomas, editors, STACS, volume 3884 of LNCS, pages 634-645. Springer, 2006.

5

R. S. Varga.
Matrix Iterative Analysis.
Prentice-Hall, Englewood Cliffs, New Jersey, 1962.