Limit Your Consumption! Finding Bounds in Average-energy Games

Kim Guldstrand Larsen; Simon Laursen; Martin Zimmermann

doi:10.4204/EPTCS.227.1

Limit Your Consumption! Finding Bounds in Average-energy Games

Kim Guldstrand Larsen, Simon Laursen, Martin Zimmermann

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

6 Citations (Scopus)

Original language	English
Title of host publication	Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems, QAPL'16 2016, Eindhoven, The Netherlands, April 2-3, 2016
Editors	Mirco Tribastone, Herbert Wiklicky
Number of pages	14
Publication date	2 Nov 2016
Pages	1-14
DOIs	https://doi.org/10.4204/EPTCS.227.1
Publication status	Published - 2 Nov 2016
Event	Quantitative Aspects of Programming Languages and Systems 2016 - Eindhoven, Netherlands Duration: 2 Apr 2016 → 3 Apr 2016 Conference number: 16

Conference

Conference	Quantitative Aspects of Programming Languages and Systems 2016
Number	16
Country/Territory	Netherlands
City	Eindhoven
Period	02/04/2016 → 03/04/2016

Series	Electronic Proceedings in Theoretical Computer Science
Volume	227
ISSN	2075-2180

Access to Document

10.4204/EPTCS.227.1

http://eptcs.web.cse.unsw.edu.au/paper.cgi?QAPL16.1.pdf

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

Larsen, Kim Guldstrand ; Laursen, Simon ; Zimmermann, Martin. / Limit Your Consumption! Finding Bounds in Average-energy Games. Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems, QAPL'16 2016, Eindhoven, The Netherlands, April 2-3, 2016. editor / Mirco Tribastone ; Herbert Wiklicky. 2016. pp. 1-14 (Electronic Proceedings in Theoretical Computer Science, Vol. 227).

@inproceedings{4b33012de2ef4930b63a25c509bb5be6,

title = "Limit Your Consumption! Finding Bounds in Average-energy Games",

author = "Larsen, {Kim Guldstrand} and Simon Laursen and Martin Zimmermann",

year = "2016",

month = nov,

day = "2",

doi = "10.4204/EPTCS.227.1",

language = "English",

series = "Electronic Proceedings in Theoretical Computer Science",

publisher = "Open Publishing Association",

pages = "1--14",

editor = "Mirco Tribastone and Herbert Wiklicky",

booktitle = "Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems, QAPL'16 2016, Eindhoven, The Netherlands, April 2-3, 2016",

note = "Quantitative Aspects of Programming Languages and Systems 2016 ; Conference date: 02-04-2016 Through 03-04-2016",

}

Larsen, KG, Laursen, S & Zimmermann, M 2016, Limit Your Consumption! Finding Bounds in Average-energy Games. in M Tribastone & H Wiklicky (eds), Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems, QAPL'16 2016, Eindhoven, The Netherlands, April 2-3, 2016. Electronic Proceedings in Theoretical Computer Science, vol. 227, pp. 1-14, Quantitative Aspects of Programming Languages and Systems 2016, Eindhoven, Netherlands, 02/04/2016. https://doi.org/10.4204/EPTCS.227.1

Limit Your Consumption! Finding Bounds in Average-energy Games. / Larsen, Kim Guldstrand; Laursen, Simon; Zimmermann, Martin.
Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems, QAPL'16 2016, Eindhoven, The Netherlands, April 2-3, 2016. ed. / Mirco Tribastone; Herbert Wiklicky. 2016. p. 1-14 (Electronic Proceedings in Theoretical Computer Science, Vol. 227).

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

TY - GEN

T1 - Limit Your Consumption! Finding Bounds in Average-energy Games

AU - Larsen, Kim Guldstrand

AU - Laursen, Simon

AU - Zimmermann, Martin

N1 - Conference code: 16

PY - 2016/11/2

Y1 - 2016/11/2

U2 - 10.4204/EPTCS.227.1

DO - 10.4204/EPTCS.227.1

M3 - Article in proceeding

T3 - Electronic Proceedings in Theoretical Computer Science

SP - 1

EP - 14

BT - Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems, QAPL'16 2016, Eindhoven, The Netherlands, April 2-3, 2016

A2 - Tribastone, Mirco

A2 - Wiklicky, Herbert

T2 - Quantitative Aspects of Programming Languages and Systems 2016

Y2 - 2 April 2016 through 3 April 2016

ER -

Larsen KG, Laursen S, Zimmermann M. Limit Your Consumption! Finding Bounds in Average-energy Games. In Tribastone M, Wiklicky H, editors, Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems, QAPL'16 2016, Eindhoven, The Netherlands, April 2-3, 2016. 2016. p. 1-14. (Electronic Proceedings in Theoretical Computer Science, Vol. 227). doi: 10.4204/EPTCS.227.1