@inproceedings(Andersson06,
 author       = {Daniel Andersson},
 year         = {2006},
 title        = {An improved algorithm for discounted payoff games},
 editor       = {Janneke Huitink and Sophia Katrenko},
 booktitle    = {{P}roceedings of the 11th {ESSLLI} {S}tudent {S}ession},
 pages        = {91--98},
)
@inproceedings(BFLM10,
 author       = {Patricia Bouyer and Uli Fahrenberg and Kim Guldstrand Larsen and Nicolas Markey},
 year         = {2010},
 title        = {Timed Automata with Observers under Energy Constraints},
 editor       = {Karl Henrik Johansson and Wang Yi},
 booktitle    = {{P}roceedings of the 13th {I}nternational {W}orkshop on {H}ybrid {S}ystems: {C}omputation and {C}ontrol ({HSCC}'10)},
 publisher    = {ACM Press},
 pages        = {61--70},
 doi          = {10.1145/1755952.1755963},
)
@inproceedings(BouyerFLMS08,
 author       = {Patricia Bouyer and Uli Fahrenberg and Kim Guldstrand Larsen and Nicolas Markey and Ji{\v r}{\'\i} Srba},
 year         = {2008},
 title        = {Infinite Runs in Weighted Timed Automata with Energy Constraints},
 editor       = {Franck Cassez and Claude Jard},
 booktitle    = {{P}roceedings of the 6th {I}nternational {C}onferences on {F}ormal {M}odelling and {A}nalysis of {T}imed {S}ystems ({FORMATS}'08)},
 series       = {Lecture Notes in Computer Science},
 volume       = {5215},
 publisher    = {Springer-Verlag},
 pages        = {33--47},
 doi          = {10.1007/978-3-540-85778-5_4},
)
@inproceedings(BHMRZ17,
 author       = {Patricia Bouyer and Piotr Hofman and Nicolas Markey and Mickael Randour and Martin Zimmermann},
 year         = {2017},
 title        = {Bounding Average-energy Games},
 editor       = {Javier Esparza and Andrzej Murawski},
 booktitle    = {{P}roceedings of the 20th {I}nternational {C}onference on {F}oundations of {S}oftware {S}cience and {C}omputation {S}tructure ({FoSSaCS}'17)},
 series       = {Lecture Notes in Computer Science},
 volume       = {10203},
 publisher    = {Springer-Verlag},
 pages        = {179--195},
 doi          = {10.1007/978-3-662-54458-7_11},
)
@inproceedings(qest2012-BLM,
 author       = {Patricia Bouyer and Kim Guldstrand Larsen and Nicolas Markey},
 year         = {2012},
 title        = {Lower-Bound Constrained Runs in Weighted Timed Automata},
 booktitle    = {{P}roceedings of the 9th {I}nternational {C}onference on {Q}uantitative {E}valuation of {S}ystems ({QEST}'12)},
 publisher    = {IEEE Comp. Soc. Press},
 pages        = {128--137},
 doi          = {10.1109/QEST.2012.28},
)
@inproceedings(BMRLL15,
 author       = {Patricia Bouyer and Nicolas Markey and Mickael Randour and Kim Guldstrand Larsen and Simon Laursen},
 year         = {2015},
 title        = {Average-energy games},
 editor       = {Javier Esparza and Enrico Tronci},
 booktitle    = {{P}roceedings of the 6th {I}nternational {S}ymposium on {G}ames, {A}utomata, {L}ogics and {F}ormal {V}erification ({GandALF}'15)},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {193},
 pages        = {1--15},
 doi          = {10.4204/EPTCS.193.1},
)
@inproceedings(CJLRR09,
 author       = {Franck Cassez and Jan J. Jensen and Kim Guldstrand Larsen and Jean-Fran{\c c}ois Raskin and Pierre-Alain Reynier},
 year         = {2009},
 title        = {Automatic Synthesis of Robust and Optimal Controllers~-- An~Industrial Case Study},
 editor       = {Rupak Majumdar and Paulo Tabuada},
 booktitle    = {{P}roceedings of the 12th {I}nternational {W}orkshop on {H}ybrid {S}ystems: {C}omputation and {C}ontrol ({HSCC}'09)},
 series       = {Lecture Notes in Computer Science},
 volume       = {5469},
 publisher    = {Springer-Verlag},
 pages        = {90--104},
 doi          = {10.1007/978-3-642-00602-9_7},
)
@inproceedings(CdAHS03,
 author       = {Arindam Chakrabarti and Luca de Alfaro and Thomas A. Henzinger and Mari{\"e}lle Stoelinga},
 year         = {2003},
 title        = {Resource Interfaces},
 editor       = {Rajeev Alur and Insup Lee},
 booktitle    = {{P}roceedings of the 3rd {I}nternational {C}onference on {E}mbedded {S}oftware ({EMSOFT}'03)},
 series       = {Lecture Notes in Computer Science},
 volume       = {2855},
 publisher    = {Springer-Verlag},
 pages        = {117--133},
 doi          = {10.1007/978-3-540-45212-6_9},
)
@article(ChatterjeeD12,
 author       = {Krishnendu Chatterjee and Laurent Doyen},
 year         = {2012},
 title        = {Energy Parity Games},
 journal      = {Theoretical Computer Science},
 volume       = {458},
 pages        = {49--60},
 doi          = {10.1016/j.tcs.2012.07.038},
)
@inproceedings(Chatterjee0H17,
 author       = {Krishnendu Chatterjee and Laurent Doyen and Thomas A. Henzinger},
 year         = {2017},
 title        = {The Cost of Exactness in Quantitative Reachability},
 editor       = {Luca Aceto and Giorgio Bacci and Giovanni Bacci and Anna Ing{\'o}lfsd{\'o}ttir and Axel Legay and Radu Mardare},
 booktitle    = {Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday},
 series       = {Lecture Notes in Computer Science},
 volume       = {10460},
 publisher    = {Springer-Verlag},
 pages        = {367--381},
 doi          = {10.1007/978-3-319-63121-9_18},
)
@inproceedings(ChatterjeeDHR10,
 author       = {Krishnendu Chatterjee and Laurent Doyen and Thomas A. Henzinger and Jean-Fran{\c c}ois Raskin},
 year         = {2010},
 title        = {Generalized Mean-payoff and Energy Games},
 editor       = {Kamal Lodaya and Meena Mahajan},
 booktitle    = {{P}roceedings of the 30th {C}onference on {F}oundations of {S}oftware {T}echnology and {T}heoretical {C}omputer {S}cience ({FSTTCS}'10)},
 series       = {Leibniz International Proceedings in Informatics},
 volume       = {8},
 publisher    = {Leibniz-Zentrum f{\"u}r Informatik},
 pages        = {505--516},
 doi          = {10.4230/LIPIcs.FSTTCS.2010.505},
)
@article(ChatterjeeRR14,
 author       = {Krishnendu Chatterjee and Mickael Randour and Jean-Fran{\c c}ois Raskin},
 year         = {2014},
 title        = {Strategy Synthesis for Multi-dimensional Quantitative Objectives},
 journal      = {Acta Informatica},
 volume       = {51},
 number       = {3-4},
 pages        = {129--163},
 doi          = {10.1007/s00236-013-0182-6},
)
@inproceedings(DDGRT10,
 author       = {Aldric Degorre and Laurent Doyen and Raffaella Gentilini and Jean-Fran{\c c}ois Raskin and Szymon Toru{\'n}czyk},
 year         = {2010},
 title        = {Energy and Mean-Payoff Games with Imperfect Information},
 editor       = {Anuj Dawar and Helmut Veith},
 booktitle    = {{P}roceedings of the 24th {I}nternational {W}orkshop on {C}omputer {S}cience {L}ogic ({CSL}'10)},
 series       = {Lecture Notes in Computer Science},
 volume       = {6247},
 publisher    = {Springer-Verlag},
 pages        = {260--274},
 doi          = {10.1007/978-3-642-15205-4_22},
)
@inproceedings(DM18,
 author       = {Della{ }Monica, Dario and Aniello Murano},
 year         = {2018},
 title        = {Parity-energy {ATL} for Qualitative and Quantitative Reasoning in~{MAS}},
 editor       = {Elisabeth Andr{\'e} and Sven Koenig and Mehdi Dastani and Gita Sukthankar},
 booktitle    = {{P}roceedings of the 17th {I}nternational {C}onference on {A}utonomous {A}gents and {M}ultiagent {S}ystems ({AAMAS}'18)},
 publisher    = {International Foundation for Autonomous Agents and Multiagent Systems},
 pages        = {1441--1449},
)
@article(EM79,
 author       = {Andrzej Ehrenfeucht and Jan Mycielski},
 year         = {1979},
 title        = {Positional strategies for mean payoff games},
 journal      = {International Journal of Game Theory},
 volume       = {8},
 number       = {2},
 pages        = {109--113},
 doi          = {10.1007/BF01768705},
)
@mastersthesis(EjsingDuun2013InfiniteRI,
 author       = {Ejsing{-}Dunn, Daniel and Lisa Fontani},
 year         = {2013},
 title        = {Infinite Runs in Recharge Automata},
 school       = {Computer Science Department, Aalborg University, Denmark},
)
@inproceedings(FahrenbergJLS11,
 author       = {Uli Fahrenberg and Line Juhl and Kim Guldstrand Larsen and Ji{\v r}{\'\i} Srba},
 year         = {2011},
 title        = {Energy Games in Multiweighted Automata},
 editor       = {Antonio Cerone and Pekka Pihlajasaari},
 booktitle    = {{P}roceedings of the 8th {I}nternational {C}olloquium on {T}heoretical {A}spects of {C}omputing ({ICTAC}'11)},
 series       = {Lecture Notes in Computer Science},
 volume       = {6916},
 publisher    = {Springer-Verlag},
 pages        = {95--115},
 doi          = {10.1007/978-3-642-23283-1_9},
)
@inproceedings(FearnleyJ13,
 author       = {John Fearnley and Marcin Jurdzi{\'n}ski},
 year         = {2013},
 title        = {Reachability in two-clock timed automata is {PSPACE}-complete},
 editor       = {Fedor V. Fomin and Rusins Freivalds and Marta Kwiatkowska and David Peleg},
 booktitle    = {{P}roceedings of the 40th {I}nternational {C}olloquium on {A}utomata, {L}anguages and {P}rogramming ({ICALP}'13)~-- Part~{II}},
 series       = {Lecture Notes in Computer Science},
 volume       = {7966},
 publisher    = {Springer-Verlag},
 pages        = {212--223},
 doi          = {10.1007/978-3-642-39212-2_21},
)
@inproceedings(GHOW10,
 author       = {Stefan G{\"o}ller and Christoph Haase and Jo{\"e}l Ouaknine and James Worrell},
 year         = {2010},
 title        = {Model Checking Succinct and Parametric One-Counter Automata},
 editor       = {Samson Abramsky and Cyril Gavoille and Claude Kirchner and Meyer auf der Heide, Friedhelm and Paul G. Spirakis},
 booktitle    = {{P}roceedings of the 37th {I}nternational {C}olloquium on {A}utomata, {L}anguages and {P}rogramming ({ICALP}'10)~-- Part~{II}},
 series       = {Lecture Notes in Computer Science},
 volume       = {6199},
 publisher    = {Springer-Verlag},
 pages        = {575--586},
 doi          = {10.1007/978-3-642-14162-1_48},
)
@inproceedings(Hun15,
 author       = {Paul Hunter},
 year         = {2015},
 title        = {Reachability in Succinct One-Counter Games},
 editor       = {Miko{\l}aj Boja{\'n}czyk and S{\l}awomir Lasota and Igor Potapov},
 booktitle    = {{P}roceedings of the 9th {W}orkshop on {R}eachability {P}roblems in {C}omputational {M}odels ({RP}'15)},
 series       = {Lecture Notes in Computer Science},
 volume       = {9328},
 publisher    = {Springer-Verlag},
 pages        = {37--49},
 doi          = {10.1007/978-3-319-24537-9_5},
)
@inproceedings(JLR13,
 author       = {Line Juhl and Kim Guldstrand Larsen and Jean-Fran{\c c}ois Raskin},
 year         = {2013},
 title        = {Optimal Bounds for Multiweighted and Parametrised Energy Games},
 editor       = {Zhiming Liu and Jim Woodcock and Yunshan Zhu},
 booktitle    = {Theories of Programming and Formal Methods~-- Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday},
 series       = {Lecture Notes in Computer Science},
 volume       = {8051},
 publisher    = {Springer-Verlag},
 pages        = {244--255},
 doi          = {10.1007/978-3-642-39698-4_15},
)
@inproceedings(JurdzinskiLS07,
 author       = {Marcin Jurdzi{\'n}ski and Fran{\c c}ois Laroussinie and Jeremy Sproston},
 year         = {2007},
 title        = {Model Checking Probabilistic Timed Automata with One or Two Clocks},
 editor       = {Orna Grumberg and Michael Huth},
 booktitle    = {{P}roceedings of the 13th {I}nternational {C}onference on {T}ools and {A}lgorithms for {C}onstruction and {A}nalysis of {S}ystems ({TACAS}'07)},
 series       = {Lecture Notes in Computer Science},
 volume       = {4424},
 publisher    = {Springer-Verlag},
 pages        = {170--184},
 doi          = {10.1007/978-3-540-71209-1_15},
)
@inproceedings(JLS15,
 author       = {Marcin Jurdzi{\'n}ski and Ranko Lazi{\'c} and Sylvain Schmitz},
 year         = {2015},
 title        = {Fixed-Dimensional Energy Games are in Pseudo-Polynomial Time},
 editor       = {Magn{\'u}s M. Halld{\'o}rsson and Kazuo Iwana and Naoki Kobayashi and Bettina Speckmann},
 booktitle    = {{P}roceedings of the 42nd {I}nternational {C}olloquium on {A}utomata, {L}anguages and {P}rogramming ({ICALP}'15)~-- Part~{II}},
 series       = {Lecture Notes in Computer Science},
 volume       = {9135},
 publisher    = {Springer-Verlag},
 pages        = {260--272},
 doi          = {10.1007/978-3-662-47666-6_21},
)
@article(Mar75,
 author       = {Donald A. Martin},
 year         = {1975},
 title        = {{B}orel Determinacy},
 journal      = {Annals of Mathematics},
 volume       = {102},
 number       = {2},
 pages        = {363--371},
 doi          = {10.2307/1971035},
)
@article(Reichert16,
 author       = {Julien Reichert},
 year         = {2016},
 title        = {On The Complexity of Counter Reachability Games},
 journal      = {Fundamenta Informaticae},
 volume       = {143},
 number       = {3-4},
 pages        = {415--436},
 doi          = {10.3233/FI-2016-1320},
)
@article(VCDHRR15,
 author       = {Yaron Velner and Krishnendu Chatterjee and Laurent Doyen and Thomas A. Henzinger and Alexander Rabinovich and Jean-Fran{\c c}ois Raskin},
 year         = {2015},
 title        = {The complexity of multi-mean-payoff and multi-energy games},
 journal      = {Information and Computation},
 volume       = {241},
 pages        = {177--196},
 doi          = {10.1016/j.ic.2015.03.001},
)
@article(ZwickP95,
 author       = {Uri Zwick and Mike Paterson},
 year         = {1996},
 title        = {The Complexity of Mean Payoff Games on Graphs},
 journal      = {Theoretical Computer Science},
 volume       = {158},
 number       = {1-2},
 pages        = {343--359},
 doi          = {10.1016/0304-3975(95)00188-3},
)