TY - RPRT TI - Finite Optimal Control for Time-Bounded Reachability in CTMDPs and Continuous-Time Markov Games AU - Markus Rabe AU - Sven Schewe PY - 2010 UR - https://arxiv.org/abs/1004.4005 ID - 1004.4005 ER -