@inproceedings{QAPL-2019-PedersenBL,
	author        = "Mathias Ruggaard Pedersen and Giorgio Bacci and Kim G. Larsen",
	booktitle     = "{Proceedings of the 16th Workshop on Quantitative Aspects of Programming Languages and Systems}",
	doi           = "10.4204/EPTCS.312.3",
	ee            = "http://arxiv.org/abs/1810.11243",
	pages         = "29--42",
	title         = "{A Faster-Than Relation for Semi-Markov Decision Processes}",
	year          = 2019,
}