Energy Games with Resource-Bounded Environments.

Orna Kupferman, Naama Shamash Halevy

Browse the full CONCUR paper archive.