%0 Conference Proceedings %F bouyer:hal-01566431 %A Bouyer, P. %A Hofman, P. %A Markey, N. %A Randour, M. %A Zimmermann, M. %T {Bounding Average-Energy Games} %B {FoSSaCS'17} %V 10203 %P 179-195 %S Proceedings of the 20th International Conference on Foundations of Software Science and Computation Structure (FoSSaCS'17) %I {Springer} %C Uppsala, Sweden %U https://hal.archives-ouvertes.fr/hal-01566431/file/fossacs2017-BHMRZ.pdf %U http://dx.doi.org/10.1007/978-3-662-54458-7\_11 %8 April %D 2017