TY - RPRT TI - Transient Reward Approximation for Continuous-Time Markov Chains AU - Ernst Moritz Hahn AU - Holger Hermanns AU - Ralf Wimmer AU - Bernd Becker PY - 2015 UR - https://arxiv.org/abs/1212.1251 ID - 1212.1251 ER -