Matches in SemOpenAlex for { <https://semopenalex.org/work/W4300333639> ?p ?o ?g. }
Showing items 1 to 56 of
56
with 100 items per page.
- W4300333639 abstract "We consider two-player turn-based games with zero-reachability and zero-safety objectives generated by extended vector addition systems with states. Although the problem of deciding the winner in such games is undecidable in general, we identify several decidable and even tractable subcases of this problem obtained by restricting the number of counters and/or the sets of target configurations." @default.
- W4300333639 created "2022-10-03" @default.
- W4300333639 creator A5019575165 @default.
- W4300333639 creator A5056318238 @default.
- W4300333639 creator A5082160514 @default.
- W4300333639 date "2010-02-12" @default.
- W4300333639 modified "2023-10-16" @default.
- W4300333639 title "Reachability Games on Extended Vector Addition Systems with States" @default.
- W4300333639 doi "https://doi.org/10.48550/arxiv.1002.2557" @default.
- W4300333639 hasPublicationYear "2010" @default.
- W4300333639 type Work @default.
- W4300333639 citedByCount "0" @default.
- W4300333639 crossrefType "posted-content" @default.
- W4300333639 hasAuthorship W4300333639A5019575165 @default.
- W4300333639 hasAuthorship W4300333639A5056318238 @default.
- W4300333639 hasAuthorship W4300333639A5082160514 @default.
- W4300333639 hasBestOaLocation W43003336391 @default.
- W4300333639 hasConcept C118615104 @default.
- W4300333639 hasConcept C136643341 @default.
- W4300333639 hasConcept C138885662 @default.
- W4300333639 hasConcept C153269930 @default.
- W4300333639 hasConcept C192034797 @default.
- W4300333639 hasConcept C2777669093 @default.
- W4300333639 hasConcept C2780813799 @default.
- W4300333639 hasConcept C33923547 @default.
- W4300333639 hasConcept C41008148 @default.
- W4300333639 hasConcept C41895202 @default.
- W4300333639 hasConcept C80444323 @default.
- W4300333639 hasConceptScore W4300333639C118615104 @default.
- W4300333639 hasConceptScore W4300333639C136643341 @default.
- W4300333639 hasConceptScore W4300333639C138885662 @default.
- W4300333639 hasConceptScore W4300333639C153269930 @default.
- W4300333639 hasConceptScore W4300333639C192034797 @default.
- W4300333639 hasConceptScore W4300333639C2777669093 @default.
- W4300333639 hasConceptScore W4300333639C2780813799 @default.
- W4300333639 hasConceptScore W4300333639C33923547 @default.
- W4300333639 hasConceptScore W4300333639C41008148 @default.
- W4300333639 hasConceptScore W4300333639C41895202 @default.
- W4300333639 hasConceptScore W4300333639C80444323 @default.
- W4300333639 hasLocation W43003336391 @default.
- W4300333639 hasLocation W43003336392 @default.
- W4300333639 hasOpenAccess W4300333639 @default.
- W4300333639 hasPrimaryLocation W43003336391 @default.
- W4300333639 hasRelatedWork W1563786920 @default.
- W4300333639 hasRelatedWork W1629112568 @default.
- W4300333639 hasRelatedWork W2047831585 @default.
- W4300333639 hasRelatedWork W2122843152 @default.
- W4300333639 hasRelatedWork W2128935480 @default.
- W4300333639 hasRelatedWork W2177564498 @default.
- W4300333639 hasRelatedWork W2529633050 @default.
- W4300333639 hasRelatedWork W2950459720 @default.
- W4300333639 hasRelatedWork W4253760428 @default.
- W4300333639 hasRelatedWork W4301007723 @default.
- W4300333639 isParatext "false" @default.
- W4300333639 isRetracted "false" @default.
- W4300333639 workType "article" @default.