Matches in SemOpenAlex for { <https://semopenalex.org/work/W3102017512> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W3102017512 abstract "Energy games are infinite two-player games played in weighted arenas with quantitative objectives that restrict the consumption of a resource modeled by the weights, e.g., a battery that is charged and drained. Typically, upper and/or lower bounds on the battery capacity are part of the problem description. Here, we consider the problem of determining upper bounds on the average accumulated energy or on the capacity while satisfying a given lower bound, i.e., we do not determine whether a given bound is sufficient to meet the specification, but if there exists a sufficient bound to meet it. In the classical setting with positive and negative weights, we show that the problem of determining the existence of a sufficient bound on the long-run average accumulated energy can be solved in doubly-exponential time. Then, we consider recharge games: here, all weights are negative, but there are recharge edges that recharge the energy to some fixed capacity. We show that bounding the long-run average energy in such games is complete for exponential time. Then, we consider the existential version of the problem, which turns out to be solvable in polynomial time: here, we ask whether there is a recharge capacity that allows the system player to win the game. We conclude by studying tradeoffs between the memory needed to implement strategies and the bounds they realize. We give an example showing that memory can be traded for bounds and vice versa. Also, we show that increasing the capacity allows to lower the average accumulated energy." @default.
- W3102017512 created "2020-11-23" @default.
- W3102017512 creator A5064596121 @default.
- W3102017512 creator A5069362159 @default.
- W3102017512 creator A5076369061 @default.
- W3102017512 date "2016-10-25" @default.
- W3102017512 modified "2023-10-06" @default.
- W3102017512 title "Limit Your Consumption! Finding Bounds in Average-energy Games" @default.
- W3102017512 cites W1521551618 @default.
- W3102017512 cites W1563355994 @default.
- W3102017512 cites W1569998753 @default.
- W3102017512 cites W1636658058 @default.
- W3102017512 cites W1786377004 @default.
- W3102017512 cites W1790689966 @default.
- W3102017512 cites W1823282488 @default.
- W3102017512 cites W1853387130 @default.
- W3102017512 cites W1966723394 @default.
- W3102017512 cites W1971499713 @default.
- W3102017512 cites W1981015644 @default.
- W3102017512 cites W2026128612 @default.
- W3102017512 cites W2048780543 @default.
- W3102017512 cites W2065595179 @default.
- W3102017512 cites W2066176788 @default.
- W3102017512 cites W2096608485 @default.
- W3102017512 cites W2170933628 @default.
- W3102017512 cites W2202134093 @default.
- W3102017512 cites W2247381900 @default.
- W3102017512 cites W2502103274 @default.
- W3102017512 cites W2785504350 @default.
- W3102017512 cites W2807243040 @default.
- W3102017512 cites W2950697212 @default.
- W3102017512 cites W3002839602 @default.
- W3102017512 cites W4236251966 @default.
- W3102017512 doi "https://doi.org/10.4204/eptcs.227.1" @default.
- W3102017512 hasPublicationYear "2016" @default.
- W3102017512 type Work @default.
- W3102017512 sameAs 3102017512 @default.
- W3102017512 citedByCount "7" @default.
- W3102017512 countsByYear W31020175122015 @default.
- W3102017512 countsByYear W31020175122016 @default.
- W3102017512 countsByYear W31020175122017 @default.
- W3102017512 countsByYear W31020175122018 @default.
- W3102017512 countsByYear W31020175122020 @default.
- W3102017512 crossrefType "journal-article" @default.
- W3102017512 hasAuthorship W3102017512A5064596121 @default.
- W3102017512 hasAuthorship W3102017512A5069362159 @default.
- W3102017512 hasAuthorship W3102017512A5076369061 @default.
- W3102017512 hasBestOaLocation W31020175121 @default.
- W3102017512 hasConcept C105795698 @default.
- W3102017512 hasConcept C126255220 @default.
- W3102017512 hasConcept C134306372 @default.
- W3102017512 hasConcept C151201525 @default.
- W3102017512 hasConcept C151376022 @default.
- W3102017512 hasConcept C154945302 @default.
- W3102017512 hasConcept C186370098 @default.
- W3102017512 hasConcept C18903297 @default.
- W3102017512 hasConcept C206345919 @default.
- W3102017512 hasConcept C2780165032 @default.
- W3102017512 hasConcept C31258907 @default.
- W3102017512 hasConcept C33923547 @default.
- W3102017512 hasConcept C41008148 @default.
- W3102017512 hasConcept C63584917 @default.
- W3102017512 hasConcept C77553402 @default.
- W3102017512 hasConcept C86803240 @default.
- W3102017512 hasConceptScore W3102017512C105795698 @default.
- W3102017512 hasConceptScore W3102017512C126255220 @default.
- W3102017512 hasConceptScore W3102017512C134306372 @default.
- W3102017512 hasConceptScore W3102017512C151201525 @default.
- W3102017512 hasConceptScore W3102017512C151376022 @default.
- W3102017512 hasConceptScore W3102017512C154945302 @default.
- W3102017512 hasConceptScore W3102017512C186370098 @default.
- W3102017512 hasConceptScore W3102017512C18903297 @default.
- W3102017512 hasConceptScore W3102017512C206345919 @default.
- W3102017512 hasConceptScore W3102017512C2780165032 @default.
- W3102017512 hasConceptScore W3102017512C31258907 @default.
- W3102017512 hasConceptScore W3102017512C33923547 @default.
- W3102017512 hasConceptScore W3102017512C41008148 @default.
- W3102017512 hasConceptScore W3102017512C63584917 @default.
- W3102017512 hasConceptScore W3102017512C77553402 @default.
- W3102017512 hasConceptScore W3102017512C86803240 @default.
- W3102017512 hasLocation W31020175121 @default.
- W3102017512 hasLocation W31020175122 @default.
- W3102017512 hasLocation W31020175123 @default.
- W3102017512 hasOpenAccess W3102017512 @default.
- W3102017512 hasPrimaryLocation W31020175121 @default.
- W3102017512 hasRelatedWork W1521144614 @default.
- W3102017512 hasRelatedWork W1999132356 @default.
- W3102017512 hasRelatedWork W2139774563 @default.
- W3102017512 hasRelatedWork W2240536652 @default.
- W3102017512 hasRelatedWork W2546285752 @default.
- W3102017512 hasRelatedWork W2775491230 @default.
- W3102017512 hasRelatedWork W2796816201 @default.
- W3102017512 hasRelatedWork W2951888873 @default.
- W3102017512 hasRelatedWork W4296019323 @default.
- W3102017512 hasRelatedWork W4301451996 @default.
- W3102017512 isParatext "false" @default.
- W3102017512 isRetracted "false" @default.
- W3102017512 magId "3102017512" @default.
- W3102017512 workType "article" @default.