Affine Arithmetic-Based Reliable Estimation of Transition State Boundaries for Uncertain Markov Chains | Publicación