Computing Closed-Form Stochastic Bounds on Transient Distributions of Markov Chains | IEEE Conference Publication | IEEE Xplore