TY  - RPRT
TI  - Infinite-State Energy Games
AU  - Parosh Aziz Abdulla
AU  - Mohamed Faouzi Atig
AU  - Piotr Hofman
AU  - Richard Mayr
AU  - K. Narayan Kumar
AU  - Patrick Totzke
PY  - 2014
UR  - https://arxiv.org/abs/1405.0628
ID  - 1405.0628
ER  -