TY - RPRT TI - Reachability and safety objectives in Markov decision processes on long but finite horizons AU - Galit Ashkenazi-Golan AU - János Flesch AU - Arkadi Predtetchinski AU - Eilon Solan PY - 2019 UR - https://arxiv.org/abs/1911.05578 ID - 1911.05578 ER -