TY - RPRT TI - Bounding Mean First Passage Times in Population Continuous-Time Markov Chains AU - Michael Backenköhler AU - Luca Bortolussi AU - Verena Wolf PY - 2020 UR - https://arxiv.org/abs/1910.12562 ID - 1910.12562 ER -