@misc{indiciae49c330a77bd2, title = {Computing Expected Hitting Times for Imprecise Markov Chains}, author = {Thomas Krak}, year = {2021}, doi = {10.1007/978-3-030-80542-5\_12}, url = {https://arxiv.org/abs/2104.10188}, note = {Source identifier: 2104.10188} }