1. Finitary fairness;Alur;Proc. 9th IEEE Symp. Logic in Comp. Sci.,1994
2. Model checking of probabilistic and nondeterministic systems;Bianco,1995
3. D.P. Bertsekas. Dynamic Programming and Optimal Control. Athena Scientific, 1995. Volumes I and II.
4. An analysis of stochastic shortest path problems;Bertsekas;Math. of Op. Res.,1991
5. Verifying temporal properties of finite-state probabilistic programs;Courcoubetis;Proc. 29th IEEE Symp. Found, of Comp. Sci.,1988