{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,28]],"date-time":"2026-02-28T15:05:40Z","timestamp":1772291140983,"version":"3.50.1"},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2016,7,16]],"date-time":"2016-07-16T00:00:00Z","timestamp":1468627200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"European FP7 project CASSTING","award":["FP7-ICT-601148"],"award-info":[{"award-number":["FP7-ICT-601148"]}]},{"name":"European FP7 project CASSTING","award":["FP7-ICT-601148"],"award-info":[{"award-number":["FP7-ICT-601148"]}]},{"name":"ERC project EQualIS","award":["StG-308087"],"award-info":[{"award-number":["StG-308087"]}]},{"name":"F.R.S.-FNRS Postdoctoral grant"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[2018,3]]},"DOI":"10.1007\/s00236-016-0274-1","type":"journal-article","created":{"date-parts":[[2016,7,16]],"date-time":"2016-07-16T15:51:49Z","timestamp":1468684309000},"page":"91-127","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":16,"title":["Average-energy games"],"prefix":"10.1007","volume":"55","author":[{"given":"Patricia","family":"Bouyer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicolas","family":"Markey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mickael","family":"Randour","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kim G.","family":"Larsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simon","family":"Laursen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,7,16]]},"reference":[{"key":"274_CR1","doi-asserted-by":"crossref","unstructured":"Aminof, B., Rubin, S.: First cycle games. In: Proceedings of SR, EPTCS 146, pp. 83\u201390 (2014)","DOI":"10.4204\/EPTCS.146.11"},{"issue":"1\u20133","key":"274_CR2","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1016\/S0304-3975(03)00427-4","volume":"310","author":"H Bj\u00f6rklund","year":"2004","unstructured":"Bj\u00f6rklund, H., Sandberg, S., Vorobyov, S.: Memoryless determinacy of parity and mean payoff games: a simple proof. Theor. Comput. Sci. 310(1\u20133), 365\u2013378 (2004)","journal-title":"Theor. Comput. Sci."},{"key":"274_CR3","doi-asserted-by":"crossref","unstructured":"Bloem, R., Chatterjee, K., Henzinger, T.A., Jobstmann, B.: Better quality in synthesis through quantitative objectives. In: Proceedings of CAV, LNCS 5643, pp 140\u2013156. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-02658-4_14"},{"key":"274_CR4","doi-asserted-by":"crossref","unstructured":"Bohy, A., Bruy\u00e8re, V., Filiot, E., Raskin, J.-F.: Synthesis from LTL specifications with mean-payoff objectives. In: Proceedings of of TACAS, LNCS 7795, pp. 169\u2013184. Springer, Berlin (2013)","DOI":"10.1007\/978-3-642-36742-7_12"},{"key":"274_CR5","unstructured":"Boros, E., Elbassioni, K., Gurvich, V., Makino, K.: Markov decision processes and stochastic games with total effective payoff. In: Proceedings of STACS, LIPIcs 30, pp. 103\u2013115. Schloss Dagstuhl\u2014LZI (2015)"},{"key":"274_CR6","doi-asserted-by":"crossref","unstructured":"Bouyer, P., Fahrenberg, U., Larsen, K.G., Markey, N., Srba, J.: Infinite runs in weighted timed automata with energy constraints. In: Proceedings of FORMATS, LNCS 5215, pp. 33\u201347. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-85778-5_4"},{"key":"274_CR7","doi-asserted-by":"crossref","unstructured":"Bouyer, P., Markey, N., Randour, M., Larsen, K.G., Laursen, S.: Average-energy games. In: Proceedings of GandALF, EPTCS 193, pp. 1\u201315 (2015)","DOI":"10.4204\/EPTCS.193.1"},{"key":"274_CR8","doi-asserted-by":"crossref","unstructured":"Br\u00e1zdil, T., Kla\u0161ka, D., Ku\u010dera, A., Novotn\u00fd, P.: Minimizing running costs in consumption systems. In: Proceedings of CAV, LNCS 8559, pp. 457\u2013472. Springer, Berlin (2014)","DOI":"10.1007\/978-3-319-08867-9_30"},{"issue":"2","key":"274_CR9","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/s10703-010-0105-x","volume":"38","author":"L Brim","year":"2011","unstructured":"Brim, L., Chaloupka, J., Doyen, L., Gentilini, R., Raskin, J.-F.: Faster algorithms for mean-payoff games. Formal Methods Syst. Des. 38(2), 97\u2013118 (2011)","journal-title":"Formal Methods Syst. Des."},{"key":"274_CR10","doi-asserted-by":"crossref","unstructured":"Cassez, F., Jensen, J.J., Larsen, K.G., Raskin, J.-F., Reynier, P.-A.: Automatic synthesis of robust and optimal controllers\u2014an industrial case study. In: Proceedings of HSCC, LNCS 5469, pp. 90\u2013104. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-00602-9_7"},{"key":"274_CR11","doi-asserted-by":"crossref","unstructured":"Chakrabarti, A., de\u00a0Alfaro, L., Henzinger, T.A., Stoelinga, M.: Resource interfaces. In: Proceedings of EMSOFT, LNCS 2855, pp. 117\u2013133. Springer, Berlin (2003)","DOI":"10.1007\/978-3-540-45212-6_9"},{"key":"274_CR12","doi-asserted-by":"crossref","unstructured":"Chatterjee, K., Doyen, L.: Energy parity games. In: Proceedings of ICALP, LNCS 6199, pp. 599\u2013610. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-14162-1_50"},{"key":"274_CR13","doi-asserted-by":"crossref","unstructured":"Chatterjee, K., Velner, Y.: Mean-payoff pushdown games. In: Proceedings of LICS, pp. 195\u2013204. IEEE (2012)","DOI":"10.1109\/LICS.2012.30"},{"key":"274_CR14","doi-asserted-by":"crossref","unstructured":"Chatterjee, K., Prabhu, V.S.: Quantitative timed simulation functions and refinement metrics for real-time systems. In: Proceedings of HSCC, pp. 273\u2013282. ACM (2013)","DOI":"10.1145\/2461328.2461370"},{"issue":"3\u20134","key":"274_CR15","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/s00236-013-0182-6","volume":"51","author":"K Chatterjee","year":"2014","unstructured":"Chatterjee, K., Randour, M., Raskin, J.-F.: Strategy synthesis for multi-dimensional quantitative objectives. Acta Inf. 51(3\u20134), 129\u2013163 (2014)","journal-title":"Acta Inf."},{"key":"274_CR16","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/j.ic.2015.03.010","volume":"242","author":"K Chatterjee","year":"2015","unstructured":"Chatterjee, K., Doyen, L., Randour, M., Raskin, J.-F.: Looking at mean-payoff and total-payoff through windows. Inf. Comput. 242, 25\u201352 (2015)","journal-title":"Inf. Comput."},{"issue":"2","key":"274_CR17","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/BF01768705","volume":"8","author":"A Ehrenfeucht","year":"1979","unstructured":"Ehrenfeucht, A., Mycielski, J.: Positional strategies for mean payoff games. Int. J. Game Theory 8(2), 109\u2013113 (1979)","journal-title":"Int. J. Game Theory"},{"key":"274_CR18","doi-asserted-by":"crossref","unstructured":"Fearnley, J., Jurdzi\u0144ski, M.: Reachability in two-clock timed automata is PSPACE-complete. In: Proceedings of ICALP, LNCS 7966, pp. 212\u2013223. Springer, Berlin (2013)","DOI":"10.1007\/978-3-642-39212-2_21"},{"key":"274_CR19","volume-title":"Competitive Markov Decision Processes","author":"J Filar","year":"1997","unstructured":"Filar, J., Vrieze, K.: Competitive Markov Decision Processes. Springer, Berlin (1997)"},{"key":"274_CR20","volume-title":"Computers and Intractability: A Guide to the Theory of NP-Completeness","author":"MR Garey","year":"1979","unstructured":"Garey, M.R., Johnson, D.S.: Computers and Intractability: A Guide to the Theory of NP-Completeness. Freeman, New York (1979)"},{"key":"274_CR21","doi-asserted-by":"crossref","unstructured":"Gawlitza, T., Seidl, H.: Games through nested fixpoints. In: Proceedings of CAV, LNCS 5643, pp. 291\u2013305. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-02658-4_24"},{"key":"274_CR22","doi-asserted-by":"crossref","unstructured":"Gimbert, H., Zielonka, W.: When can you play positionnaly? In: Proceedings of MFCS, LNCS 3153, pp. 686\u2013697. Springer, Berlin (2004)","DOI":"10.1007\/978-3-540-28629-5_53"},{"key":"274_CR23","doi-asserted-by":"crossref","unstructured":"Gimbert, H., Zielonka, W.: Games where you can play optimally without any memory. In: Proceedings of CONCUR, LNCS 3653, pp. 428\u2013442. Springer, Berlin (2005)","DOI":"10.1007\/11539452_33"},{"key":"274_CR24","doi-asserted-by":"crossref","unstructured":"Gr\u00e4del, E., Thomas, W., Wilke, T. (eds.): Automata, Logics, and Infinite Games: A Guide to Current Research, LNCS 2500. Springer, Berlin (2002)","DOI":"10.1007\/3-540-36387-4"},{"key":"274_CR25","doi-asserted-by":"crossref","unstructured":"Juhl, L., Larsen, K.G., Raskin, J.-F.: Optimal bounds for multiweighted and parametrised energy games. In: Theories of Programming and Formal Methods, LNCS 8051, pp. 244\u2013255. Springer, Berlin (2013)","DOI":"10.1007\/978-3-642-39698-4_15"},{"issue":"3","key":"274_CR26","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/S0020-0190(98)00150-1","volume":"68","author":"M Jurdzi\u0144ski","year":"1998","unstructured":"Jurdzi\u0144ski, M.: Deciding the winner in parity games is in UP $$\\cap $$ \u2229 co-UP. Inf. Process. Lett. 68(3), 119\u2013124 (1998)","journal-title":"Inf. Process. Lett."},{"issue":"3","key":"274_CR27","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2168\/LMCS-4(3:12)2008","volume":"4","author":"M Jurdzi\u0144ski","year":"2008","unstructured":"Jurdzi\u0144ski, M., Sproston, J., Laroussinie, F.: Model checking probabilistic timed automata with one or two clocks. Logical Methods Comput. Sci. 4(3), 1\u201328 (2008)","journal-title":"Logical Methods Comput. Sci."},{"key":"274_CR28","doi-asserted-by":"crossref","unstructured":"Karp, R.M.: A characterization of the minimum cycle mean in a digraph. Discrete Math. 23(3), 309\u2013311 (1978)","DOI":"10.1016\/0012-365X(78)90011-0"},{"key":"274_CR29","doi-asserted-by":"crossref","unstructured":"Kopczynski, E.: Half-positional determinacy of infinite games. In: Proceedings of ICALP, LNCS 4052, pp. 336\u2013347. Springer, Berlin (2006)","DOI":"10.1007\/11787006_29"},{"key":"274_CR30","doi-asserted-by":"crossref","unstructured":"Lafourcade, P., Lugiez, D., Treinen, R.: Intruder deduction for AC-like equational theories with homomorphisms. Research Report LSV-04-16, Laboratoire Sp\u00e9cification et V\u00e9rification, ENS Cachan, France (2004)","DOI":"10.1007\/978-3-540-32033-3_23"},{"key":"274_CR31","doi-asserted-by":"crossref","unstructured":"Lafourcade, P., Lugiez, D., Treinen, R.: Intruder deduction for AC-like equational theories with homomorphisms. In: Proceedings of RTA, LNCS 3467, pp. 308\u2013322. Springer, Berlin (2005)","DOI":"10.1007\/978-3-540-32033-3_23"},{"key":"274_CR32","doi-asserted-by":"crossref","unstructured":"Larsen, K.G., Laursen, S., Zimmermann, M.: Limit your consumption! Finding bounds in average-energy games. In: Proceedings of QAPL, EPTCS (2016)","DOI":"10.4204\/EPTCS.227.1"},{"key":"274_CR33","doi-asserted-by":"crossref","unstructured":"Randour, M.: Automated synthesis of reliable and efficient systems through game theory: a case study. In: Proceedings of the European Conference on Complex Systems 2012, Springer Proceedings in Complexity XVII, pp. 731\u2013738. Springer, Berlin (2013)","DOI":"10.1007\/978-3-319-00395-5_90"},{"key":"274_CR34","unstructured":"Randour, M.: Synthesis in Multi-Criteria Quantitative Games. Ph.D. Thesis, Universit\u00e9 de Mons, Belgium (2014)"},{"key":"274_CR35","volume-title":"Introduction to the Theory of Computation","author":"M Sipser","year":"1997","unstructured":"Sipser, M.: Introduction to the Theory of Computation. PWS Publishing Company, Boston (1997)"},{"key":"274_CR36","doi-asserted-by":"crossref","unstructured":"Thuijsman, F., Vrieze, O.J.: The bad match; a\u00a0total reward stochastic game. OR Spektrum 9(2), 93\u201399 (1987)","DOI":"10.1007\/BF01732644"},{"key":"274_CR37","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/j.ic.2015.03.001","volume":"241","author":"Y Velner","year":"2015","unstructured":"Velner, Y., Chatterjee, K., Doyen, L., Henzinger, T.A., Rabinovich, A.M., Raskin, J.-F.: The complexity of multi-mean-payoff and multi-energy games. Inf. Comput. 241, 177\u2013196 (2015)","journal-title":"Inf. Comput."},{"issue":"1\u20132","key":"274_CR38","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/0304-3975(95)00188-3","volume":"158","author":"U Zwick","year":"1996","unstructured":"Zwick, U., Paterson, M.: The complexity of mean payoff games on graphs. Theor. Comput. Sci. 158(1\u20132), 343\u2013359 (1996)","journal-title":"Theor. Comput. Sci."}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00236-016-0274-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-016-0274-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-016-0274-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-016-0274-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,11]],"date-time":"2019-09-11T07:35:26Z","timestamp":1568187326000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00236-016-0274-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,7,16]]},"references-count":38,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2018,3]]}},"alternative-id":["274"],"URL":"https:\/\/doi.org\/10.1007\/s00236-016-0274-1","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,7,16]]}}}