@inproceedings{QAPL-2016-LarsenLZ15,
	author        = "Kim G. Larsen and Simon Laursen and Martin Zimmermann 0002",
	booktitle     = "{Proceedings of the 14th Workshop on Quantitative Aspects of Programming Languages and Systems}",
	doi           = "10.4204/EPTCS.227.1",
	ee            = "http://arxiv.org/abs/1510.05774",
	ee            = "https://www.wikidata.org/entity/Q28112215",
	pages         = "1--14",
	title         = "{Limit Your Consumption! Finding Bounds in Average-energy Games}",
	year          = 2016,
}