@Inproceedings{EPTCS312.3,
  author    = {Ruggaard Pedersen, Mathias and Bacci, Giorgio and Guldstrand Larsen, Kim},
  year      = {2020},
  title     = {A Faster-Than Relation for Semi-Markov Decision Processes},
  editor    = {Aldini, Alessandro and Wiklicky, Herbert},
  booktitle = {{\rm Proceedings 16th Workshop on}
               Quantitative Aspects of Programming Languages and Systems,
               {\rm Prague, Czech Republic, 7th April 2019}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {312},
  publisher = {Open Publishing Association},
  pages     = {29-42},
  doi       = {10.4204/EPTCS.312.3},
}