Stochastic processes with expected stopping time

Symbolic time and space tradeoffs for probabilistic verification