TY  - RPRT
TI  - Hitting Times for Continuous-Time Imprecise-Markov Chains
AU  - Thomas Krak
PY  - 2022
UR  - https://arxiv.org/abs/2202.13111
ID  - 2202.13111
ER  -