TY - RPRT TI - Computing Lower and Upper Hitting Probabilities for Imprecise Markov Chains AU - Marco Sangalli AU - Erik Quaeghebeur AU - Thomas Krak PY - 2026 UR - https://arxiv.org/abs/2512.16696 ID - 2512.16696 ER -