TY - RPRT TI - A Faster-Than Relation for Semi-Markov Decision Processes AU - Mathias Ruggaard Pedersen AU - Giorgio Bacci AU - Kim Guldstrand Larsen PY - 2020 DO - 10.4204/eptcs.312.3 UR - https://arxiv.org/abs/1810.11243 ID - 1810.11243 ER -