Matches in SemOpenAlex for { <https://semopenalex.org/work/W1568797836> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W1568797836 endingPage "715" @default.
- W1568797836 startingPage "704" @default.
- W1568797836 abstract "We consider infinite two-player games on pushdown graphs, the reachability game where the first player must reach a given set of vertices to win, and the Buchi game where he must reach this set infinitely often. We provide an automata theoretic approach to compute uniformly the winning region of a player and corresponding winning strategies, if the goal set is regular. Two kinds of strategies are computed: positional ones which however require linear execution time in each step, and strategies with pushdown memory where a step can be executed in constant time." @default.
- W1568797836 created "2016-06-24" @default.
- W1568797836 creator A5024963732 @default.
- W1568797836 date "2002-01-01" @default.
- W1568797836 modified "2023-10-18" @default.
- W1568797836 title "Symbolic Strategy Synthesis for Games on Pushdown Graphs" @default.
- W1568797836 cites W1491036809 @default.
- W1568797836 cites W1576751546 @default.
- W1568797836 cites W1589224558 @default.
- W1568797836 cites W2017759899 @default.
- W1568797836 cites W2039673878 @default.
- W1568797836 cites W2092043492 @default.
- W1568797836 cites W2493860389 @default.
- W1568797836 cites W260642817 @default.
- W1568797836 cites W4241708172 @default.
- W1568797836 doi "https://doi.org/10.1007/3-540-45465-9_60" @default.
- W1568797836 hasPublicationYear "2002" @default.
- W1568797836 type Work @default.
- W1568797836 sameAs 1568797836 @default.
- W1568797836 citedByCount "55" @default.
- W1568797836 countsByYear W15687978362012 @default.
- W1568797836 countsByYear W15687978362013 @default.
- W1568797836 countsByYear W15687978362014 @default.
- W1568797836 countsByYear W15687978362015 @default.
- W1568797836 countsByYear W15687978362016 @default.
- W1568797836 countsByYear W15687978362017 @default.
- W1568797836 countsByYear W15687978362018 @default.
- W1568797836 countsByYear W15687978362019 @default.
- W1568797836 countsByYear W15687978362020 @default.
- W1568797836 crossrefType "book-chapter" @default.
- W1568797836 hasAuthorship W1568797836A5024963732 @default.
- W1568797836 hasBestOaLocation W15687978362 @default.
- W1568797836 hasConcept C112505250 @default.
- W1568797836 hasConcept C199360897 @default.
- W1568797836 hasConcept C41008148 @default.
- W1568797836 hasConcept C77944639 @default.
- W1568797836 hasConcept C80444323 @default.
- W1568797836 hasConceptScore W1568797836C112505250 @default.
- W1568797836 hasConceptScore W1568797836C199360897 @default.
- W1568797836 hasConceptScore W1568797836C41008148 @default.
- W1568797836 hasConceptScore W1568797836C77944639 @default.
- W1568797836 hasConceptScore W1568797836C80444323 @default.
- W1568797836 hasLocation W15687978361 @default.
- W1568797836 hasLocation W15687978362 @default.
- W1568797836 hasLocation W15687978363 @default.
- W1568797836 hasLocation W15687978364 @default.
- W1568797836 hasLocation W15687978365 @default.
- W1568797836 hasOpenAccess W1568797836 @default.
- W1568797836 hasPrimaryLocation W15687978361 @default.
- W1568797836 hasRelatedWork W1523939218 @default.
- W1568797836 hasRelatedWork W2350741829 @default.
- W1568797836 hasRelatedWork W2358668433 @default.
- W1568797836 hasRelatedWork W2376932109 @default.
- W1568797836 hasRelatedWork W2382290278 @default.
- W1568797836 hasRelatedWork W2390279801 @default.
- W1568797836 hasRelatedWork W2519987770 @default.
- W1568797836 hasRelatedWork W2748952813 @default.
- W1568797836 hasRelatedWork W2899084033 @default.
- W1568797836 hasRelatedWork W2525353374 @default.
- W1568797836 isParatext "false" @default.
- W1568797836 isRetracted "false" @default.
- W1568797836 magId "1568797836" @default.
- W1568797836 workType "book-chapter" @default.