TY - RPRT TI - Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes AU - Jan Křetínský AU - Tobias Meggendorfer PY - 2018 UR - https://arxiv.org/abs/1805.02946 ID - 1805.02946 ER -