1. Nonnegative Matrices in the Mathematical Sciences;Berman,1979
2. Numerical Methods for Structured Markov Chains;Bini,2005
3. Verification of probabilistic recursive sequential programs;Brázdil,2007
4. Discounted properties of probabilistic pushdown automata;Brázdil,2008
5. One-counter stochastic games;Brázdil,2010