Energy Games with Resource-Bounded Environments

Orna Kupferman, Naama Shamash Halevy

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


An energy game is played between two players, modeling a resource-bounded system and its environment. The players take turns moving a token along a finite graph. Each edge of the graph is labeled by an integer, describing an update to the energy level of the system that occurs whenever the edge is traversed. The system wins the game if it never runs out of energy. Different applications have led to extensions of the above basic setting. For example, addressing a combination of the energy requirement with behavioral specifications, researchers have studied richer winning conditions, and addressing systems with several bounded resources, researchers have studied games with multidimensional energy updates. All extensions, however, assume that the environment has no bounded resources. We introduce and study both-bounded energy games (BBEGs), in which both the system and the environment have multi-dimensional energy bounds. In BBEGs, each edge in the game graph is labeled by two integer vectors, describing updates to the multi-dimensional energy levels of the system and the environment. A system wins a BBEG if it never runs out of energy or if its environment runs out of energy. We show that BBEGs are determined, and that the problem of determining the winner in a given BBEG is decidable iff both the system and the environment have energy vectors of dimension 1. We also study how restrictions on the memory of the system and/or the environment as well as upper bounds on their energy levels influence the winner and the complexity of the problem.

Original languageAmerican English
Title of host publication33rd International Conference on Concurrency Theory, CONCUR 2022
EditorsBartek Klin, Slawomir Lasota, Anca Muscholl
PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Number of pages23
ISBN (Electronic)9783959772464
StatePublished - 1 Sep 2022
Event33rd International Conference on Concurrency Theory, CONCUR 2022 - Warsaw, Poland
Duration: 12 Sep 202216 Sep 2022

Publication series

NameLeibniz International Proceedings in Informatics, LIPIcs


Conference33rd International Conference on Concurrency Theory, CONCUR 2022


  • Decidability
  • Energy Games
  • Infinite-State Systems

All Science Journal Classification (ASJC) codes

  • Software


Dive into the research topics of 'Energy Games with Resource-Bounded Environments'. Together they form a unique fingerprint.

Cite this