Decidability of Approximate Skolem Problem and Applications to Logical Verification of Dynamical Properties of Markov Chains | Publicación