J. Berstel and C. Reutenauer, Noncommutative Rational Series With Applications, 2010.
DOI : 10.1017/CBO9780511760860
URL : https://hal.archives-ouvertes.fr/hal-00620617

L. Stephen and Z. Bloom, Iteration Theories: The Equational Logic of Iterative Processes. EATCS monographs on theoretical computer science, pp.978-981, 1993.

P. Bouyer, U. Fahrenberg, K. G. Larsen, and N. Markey, Timed automata with observers under energy constraints, Proceedings of the 13th ACM international conference on Hybrid systems: computation and control, HSCC '10, pp.61-70, 2010.
DOI : 10.1145/1755952.1755963

P. Bouyer, U. Fahrenberg, K. G. Larsen, N. Markey, and J. Srba, Infinite Runs in Weighted Timed Automata with Energy Constraints, Lect. Notes Comput. Sci, vol.5215, pp.33-47, 2008.
DOI : 10.1007/978-3-540-85778-5_4
URL : https://hal.archives-ouvertes.fr/hal-01194594

P. Bouyer, K. G. Larsen, and N. Markey, Lower-bound-constrained runs in weighted timed automata, Performance Evaluation, vol.73, pp.91-109, 2014.
DOI : 10.1016/j.peva.2013.11.002
URL : https://hal.archives-ouvertes.fr/hal-01016100

R. Brenguier, F. Cassez, and J. Raskin, Energy and mean-payoff timed games, Proceedings of the 17th international conference on Hybrid systems: computation and control, HSCC '14, pp.283-292, 2014.
DOI : 10.1145/2562059.2562116
URL : https://hal.archives-ouvertes.fr/hal-00943015

K. Chatterjee and L. Doyen, Energy parity games, Theoretical Computer Science, vol.458, pp.49-60, 2012.
DOI : 10.1016/j.tcs.2012.07.038

A. Degorre, L. Doyen, R. Gentilini, J. Raskin, and S. Torunczyk, Energy and Mean-Payoff Games with Imperfect Information, Lect. Notes Comput. Sci, vol.6247, pp.260-274, 2010.
DOI : 10.1007/978-3-642-15205-4_22

U. Zoltánzoltán´zoltánésik, A. Fahrenberg, and . Legay, * -continuous Kleene ?-algebras, Lect. Notes Comput. Sci, vol.9168, pp.240-251978, 2015.

U. Zoltánzoltán´zoltánésik, A. Fahrenberg, and . Legay, * -continuous Kleene ?-algebras. CoRR, abs/1501, 1118.

U. Zoltánzoltán´zoltánésik, A. Fahrenberg, K. Legay, and . Quaas, Kleene algebras and semimodules for energy problems, Lect. Notes Comput. Sci, vol.8172, pp.102-117978, 2013.

W. Zoltánzoltán´zoltánésik and . Kuich, Rationally additive semirings, J. Univ. Comput. Sci, vol.8, issue.2, pp.173-183, 2002.

W. Zoltánzoltán´zoltánésik and . Kuich, On iteration semiring-semimodule pairs, Semigroup Forum, vol.75, pp.129-159, 2007.

W. Zoltánzoltán´zoltánésik and . Kuich, Finite Automata, chapter 3, 2009.

U. Fahrenberg, L. Juhl, K. G. Larsen, and J. Srba, Energy Games in Multiweighted Automata, ICTAC, pp.95-115978, 2011.
DOI : 10.1016/0304-3975(95)00188-3
URL : https://hal.archives-ouvertes.fr/hal-01088043

U. Fahrenberg, A. Legay, and K. Quaas, Büchi conditions for generalized energy automata, WATA, p.47, 2012.

J. S. Golan, Semirings and their Applications, 1999.
DOI : 10.1007/978-94-015-9333-5

L. Juhl, K. G. Larsen, and J. Raskin, Optimal Bounds for Multiweighted and Parametrised Energy Games, Theories of Programming and Formal Methods, pp.244-255978, 2013.
DOI : 10.1007/3-540-15204-0_14

D. ¨. König, Uber eine Schlussweise aus dem Endlichen ins Unendliche, Acta Sci. Math, p.3

D. Kozen, On kleene algebras and closed semirings, Lect. Notes Comput. Sci, vol.452, pp.26-47, 1990.
DOI : 10.1007/BFb0029594

D. Kozen, A completeness theorem for Kleene algebras and the algebra of regular events, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science, pp.366-390, 1994.
DOI : 10.1109/LICS.1991.151646

K. Quaas, On the Interval-Bound Problem for Weighted Timed Automata, LATA, pp.452-464
DOI : 10.1007/978-3-642-21254-3_36

Y. Velner, K. Chatterjee, L. Doyen, T. A. Henzinger, A. M. Rabinovich et al., The complexity of multi-mean-payoff and multi-energy games, Information and Computation, vol.241, pp.177-196, 2015.
DOI : 10.1016/j.ic.2015.03.001