TY  - RPRT
TI  - Hitting Times and Probabilities for Imprecise Markov Chains
AU  - Thomas Krak
AU  - Natan T'Joens
AU  - Jasper De Bock
PY  - 2020
UR  - https://arxiv.org/abs/1905.08781
ID  - 1905.08781
ER  -