← back to paper
arxiv: 2605.05935 · 2 revisions
Infinite-state Games with Energy Objectives Beyond Counters