@inproceedings{KS21, author = {O. Kupferman and N. Shamash Halevy}, title = {Energy Games with Resource-Bounded Environments}, booktitle = concur22, series = {LIPIcs}, volume = {243}, pages = ?, year = {2022} }