Infinite-State Games with Energy Objectives Beyond Counters.

Irmak Saglam, Georg Zetzsche

Browse the full ICALP paper archive.