Matches in SemOpenAlex for { <https://semopenalex.org/work/W2951840399> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2951840399 abstract "Energy games are a well-studied class of 2-player turn-based games on a finite graph where transitions are labeled with integer vectors which represent changes in a multidimensional resource (the energy). One player tries to keep the cumulative changes non-negative in every component while the other tries to frustrate this. We consider generalized energy games played on infinite game graphs induced by pushdown automata (modelling recursion) or their subclass of one-counter automata. Our main result is that energy games are decidable in the case where the game graph is induced by a one-counter automaton and the energy is one-dimensional. On the other hand, every further generalization is undecidable: Energy games on one-counter automata with a 2-dimensional energy are undecidable, and energy games on pushdown automata are undecidable even if the energy is one-dimensional. Furthermore, we show that energy games and simulation games are inter-reducible, and thus we additionally obtain several new (un)decidability results for the problem of checking simulation preorder between pushdown automata and vector addition systems." @default.
- W2951840399 created "2019-06-27" @default.
- W2951840399 creator A5002478680 @default.
- W2951840399 creator A5019904129 @default.
- W2951840399 creator A5047278328 @default.
- W2951840399 creator A5060577776 @default.
- W2951840399 creator A5082358544 @default.
- W2951840399 creator A5090589200 @default.
- W2951840399 date "2014-05-03" @default.
- W2951840399 modified "2023-10-01" @default.
- W2951840399 title "Infinite-State Energy Games" @default.
- W2951840399 cites W1491036809 @default.
- W2951840399 cites W1557750304 @default.
- W2951840399 cites W1589224558 @default.
- W2951840399 cites W1596041124 @default.
- W2951840399 cites W1818968539 @default.
- W2951840399 cites W1835836356 @default.
- W2951840399 cites W1855477342 @default.
- W2951840399 cites W2068462394 @default.
- W2951840399 cites W2083896385 @default.
- W2951840399 cites W2096272173 @default.
- W2951840399 cites W2096608485 @default.
- W2951840399 cites W2148775051 @default.
- W2951840399 cites W2205337852 @default.
- W2951840399 cites W2951121950 @default.
- W2951840399 cites W2952421425 @default.
- W2951840399 cites W2953002580 @default.
- W2951840399 cites W2565515823 @default.
- W2951840399 hasPublicationYear "2014" @default.
- W2951840399 type Work @default.
- W2951840399 sameAs 2951840399 @default.
- W2951840399 citedByCount "0" @default.
- W2951840399 crossrefType "posted-content" @default.
- W2951840399 hasAuthorship W2951840399A5002478680 @default.
- W2951840399 hasAuthorship W2951840399A5019904129 @default.
- W2951840399 hasAuthorship W2951840399A5047278328 @default.
- W2951840399 hasAuthorship W2951840399A5060577776 @default.
- W2951840399 hasAuthorship W2951840399A5082358544 @default.
- W2951840399 hasAuthorship W2951840399A5090589200 @default.
- W2951840399 hasConcept C112505250 @default.
- W2951840399 hasConcept C118615104 @default.
- W2951840399 hasConcept C134083981 @default.
- W2951840399 hasConcept C153269930 @default.
- W2951840399 hasConcept C186644900 @default.
- W2951840399 hasConcept C192034797 @default.
- W2951840399 hasConcept C199360897 @default.
- W2951840399 hasConcept C27034413 @default.
- W2951840399 hasConcept C33923547 @default.
- W2951840399 hasConcept C41008148 @default.
- W2951840399 hasConcept C77944639 @default.
- W2951840399 hasConcept C80444323 @default.
- W2951840399 hasConcept C97212296 @default.
- W2951840399 hasConceptScore W2951840399C112505250 @default.
- W2951840399 hasConceptScore W2951840399C118615104 @default.
- W2951840399 hasConceptScore W2951840399C134083981 @default.
- W2951840399 hasConceptScore W2951840399C153269930 @default.
- W2951840399 hasConceptScore W2951840399C186644900 @default.
- W2951840399 hasConceptScore W2951840399C192034797 @default.
- W2951840399 hasConceptScore W2951840399C199360897 @default.
- W2951840399 hasConceptScore W2951840399C27034413 @default.
- W2951840399 hasConceptScore W2951840399C33923547 @default.
- W2951840399 hasConceptScore W2951840399C41008148 @default.
- W2951840399 hasConceptScore W2951840399C77944639 @default.
- W2951840399 hasConceptScore W2951840399C80444323 @default.
- W2951840399 hasConceptScore W2951840399C97212296 @default.
- W2951840399 hasLocation W29518403991 @default.
- W2951840399 hasOpenAccess W2951840399 @default.
- W2951840399 hasPrimaryLocation W29518403991 @default.
- W2951840399 hasRelatedWork W128496866 @default.
- W2951840399 hasRelatedWork W1804899877 @default.
- W2951840399 hasRelatedWork W2024742941 @default.
- W2951840399 hasRelatedWork W2040178723 @default.
- W2951840399 hasRelatedWork W2092618327 @default.
- W2951840399 hasRelatedWork W2099031058 @default.
- W2951840399 hasRelatedWork W2107093575 @default.
- W2951840399 hasRelatedWork W2117501670 @default.
- W2951840399 hasRelatedWork W2137477742 @default.
- W2951840399 hasRelatedWork W2268014521 @default.
- W2951840399 hasRelatedWork W2279583249 @default.
- W2951840399 hasRelatedWork W2724853801 @default.
- W2951840399 hasRelatedWork W2942696941 @default.
- W2951840399 hasRelatedWork W3006504376 @default.
- W2951840399 hasRelatedWork W3022006420 @default.
- W2951840399 hasRelatedWork W3045850151 @default.
- W2951840399 hasRelatedWork W3101301532 @default.
- W2951840399 hasRelatedWork W3133052492 @default.
- W2951840399 hasRelatedWork W3175427225 @default.
- W2951840399 hasRelatedWork W183414335 @default.
- W2951840399 isParatext "false" @default.
- W2951840399 isRetracted "false" @default.
- W2951840399 magId "2951840399" @default.
- W2951840399 workType "article" @default.