Bisimulation and cocongruence for probabilistic systems

Markov Decision Processes: Discrete Stochastic Dynamic Programming.

Kasra Hazeghi, Martin L. Puterman · Journal of the American Statistical Association · 1995 · 8.5K citations

Business, Decision Sciences, Mathematics +14

Finite Markov Chains.

Keith Bush, John G. Kemeny, J. Laurie Snell · American Mathematical Monthly · 1960 · 1.6K citations

Probability with martingales

Choice Reviews Online · 1992 · 1.5K citations

Natural Sciences, Mathematics, Physics +17

Metrics for labelled Markov processes

Josée Desharnais, Vineet Gupta, Radha Jagadeesan et al. · Theoretical Computer Science · 2003 · 309 citations

Engineering, Computer Science, Mathematics +4

Bisimulation for Labelled Markov Processes

Information and Computation · 2002 · 307 citations

Natural Sciences, Computer Science, Mathematics +13