Matches in SemOpenAlex for { <https://semopenalex.org/work/W2267864028> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W2267864028 abstract "We introduce the novel notion of winning cores in parity games and develop a deterministic polynomial-time under-approximation algorithm for solving parity games based on winning core approximation. Underlying this algorithm are a number properties about winning cores which are interesting in their own right. In particular, we show that the winning core and the winning region for a player in a parity game are equivalently empty. Moreover, the winning core contains all fatal attractors but is not necessarily a dominion itself. Experimental results are very positive both with respect to quality of approximation and running time. It outperforms existing state-of-the-art algorithms significantly on most benchmarks." @default.
- W2267864028 created "2016-06-24" @default.
- W2267864028 creator A5083586394 @default.
- W2267864028 date "2016-07-05" @default.
- W2267864028 modified "2023-09-26" @default.
- W2267864028 title "Winning Cores in Parity Games" @default.
- W2267864028 cites W1481109946 @default.
- W2267864028 cites W1487444734 @default.
- W2267864028 cites W1569758148 @default.
- W2267864028 cites W1753901747 @default.
- W2267864028 cites W1971499713 @default.
- W2267864028 cites W1974206804 @default.
- W2267864028 cites W2015640848 @default.
- W2267864028 cites W2047201474 @default.
- W2267864028 cites W2060375000 @default.
- W2267864028 cites W2069058599 @default.
- W2267864028 cites W2141252092 @default.
- W2267864028 cites W2142133061 @default.
- W2267864028 cites W2168360220 @default.
- W2267864028 cites W2170933628 @default.
- W2267864028 cites W2407205665 @default.
- W2267864028 doi "https://doi.org/10.1145/2933575.2933589" @default.
- W2267864028 hasPublicationYear "2016" @default.
- W2267864028 type Work @default.
- W2267864028 sameAs 2267864028 @default.
- W2267864028 citedByCount "2" @default.
- W2267864028 countsByYear W22678640282017 @default.
- W2267864028 countsByYear W22678640282018 @default.
- W2267864028 crossrefType "proceedings-article" @default.
- W2267864028 hasAuthorship W2267864028A5083586394 @default.
- W2267864028 hasBestOaLocation W22678640282 @default.
- W2267864028 hasConcept C109214941 @default.
- W2267864028 hasConcept C121332964 @default.
- W2267864028 hasConcept C2777151079 @default.
- W2267864028 hasConcept C41008148 @default.
- W2267864028 hasConceptScore W2267864028C109214941 @default.
- W2267864028 hasConceptScore W2267864028C121332964 @default.
- W2267864028 hasConceptScore W2267864028C2777151079 @default.
- W2267864028 hasConceptScore W2267864028C41008148 @default.
- W2267864028 hasLocation W22678640281 @default.
- W2267864028 hasLocation W22678640282 @default.
- W2267864028 hasOpenAccess W2267864028 @default.
- W2267864028 hasPrimaryLocation W22678640281 @default.
- W2267864028 hasRelatedWork W2093578348 @default.
- W2267864028 hasRelatedWork W2130043461 @default.
- W2267864028 hasRelatedWork W2350741829 @default.
- W2267864028 hasRelatedWork W2358668433 @default.
- W2267864028 hasRelatedWork W2376932109 @default.
- W2267864028 hasRelatedWork W2382290278 @default.
- W2267864028 hasRelatedWork W2390279801 @default.
- W2267864028 hasRelatedWork W2748952813 @default.
- W2267864028 hasRelatedWork W2899084033 @default.
- W2267864028 hasRelatedWork W3004735627 @default.
- W2267864028 isParatext "false" @default.
- W2267864028 isRetracted "false" @default.
- W2267864028 magId "2267864028" @default.
- W2267864028 workType "article" @default.