Matches in SemOpenAlex for { <https://semopenalex.org/work/W2090603514> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2090603514 abstract "Infinite stochastic games are a natural model for open reactive processes: one player represents the controller and the other represents a hostile environment. The evolution of the system depends on the decisions of the players, supplemented by chance. There are two main algorithmic problems on such games: computing the values of the vertices (quantitative analysis) and deciding whether a player can win with probability one, or arbitrarily close to one (qualitative analysis).In this paper, we reduce the quantitative analysis of simple stochastic tail games (where both players have perfect information and the winner does not depend on finite prefixes) to the qualitative analysis: we provide an algorithm computing values which uses qualitative analysis sub-procedure. The correctness proof of this algorithm reveals several nice properties of perfect-information stochastic tail games, in particular the existence of optimal strategies. We apply these results to games whose winning conditions are boolean combinations of mean-payoff and Buchi conditions." @default.
- W2090603514 created "2016-06-24" @default.
- W2090603514 creator A5020837653 @default.
- W2090603514 creator A5056775678 @default.
- W2090603514 date "2010-01-17" @default.
- W2090603514 modified "2023-10-15" @default.
- W2090603514 title "Solving Simple Stochastic Tail Games" @default.
- W2090603514 cites W1494426349 @default.
- W2090603514 cites W1562671620 @default.
- W2090603514 cites W1579971638 @default.
- W2090603514 cites W1587759028 @default.
- W2090603514 cites W177913229 @default.
- W2090603514 cites W1964905826 @default.
- W2090603514 cites W1966347268 @default.
- W2090603514 cites W1972203711 @default.
- W2090603514 cites W1982922419 @default.
- W2090603514 cites W2016206563 @default.
- W2090603514 cites W2017194981 @default.
- W2090603514 cites W2020293036 @default.
- W2090603514 cites W2038680194 @default.
- W2090603514 cites W2125267391 @default.
- W2090603514 cites W2135432862 @default.
- W2090603514 cites W2150944278 @default.
- W2090603514 cites W2156268532 @default.
- W2090603514 cites W2341159425 @default.
- W2090603514 cites W2575731723 @default.
- W2090603514 cites W2797135730 @default.
- W2090603514 hasPublicationYear "2010" @default.
- W2090603514 type Work @default.
- W2090603514 sameAs 2090603514 @default.
- W2090603514 citedByCount "14" @default.
- W2090603514 countsByYear W20906035142013 @default.
- W2090603514 countsByYear W20906035142014 @default.
- W2090603514 countsByYear W20906035142016 @default.
- W2090603514 countsByYear W20906035142017 @default.
- W2090603514 countsByYear W20906035142018 @default.
- W2090603514 countsByYear W20906035142021 @default.
- W2090603514 crossrefType "proceedings-article" @default.
- W2090603514 hasAuthorship W2090603514A5020837653 @default.
- W2090603514 hasAuthorship W2090603514A5056775678 @default.
- W2090603514 hasBestOaLocation W20906035141 @default.
- W2090603514 hasConcept C111472728 @default.
- W2090603514 hasConcept C138885662 @default.
- W2090603514 hasConcept C2780586882 @default.
- W2090603514 hasConcept C41008148 @default.
- W2090603514 hasConceptScore W2090603514C111472728 @default.
- W2090603514 hasConceptScore W2090603514C138885662 @default.
- W2090603514 hasConceptScore W2090603514C2780586882 @default.
- W2090603514 hasConceptScore W2090603514C41008148 @default.
- W2090603514 hasLocation W20906035141 @default.
- W2090603514 hasLocation W20906035142 @default.
- W2090603514 hasLocation W20906035143 @default.
- W2090603514 hasLocation W20906035144 @default.
- W2090603514 hasOpenAccess W2090603514 @default.
- W2090603514 hasPrimaryLocation W20906035141 @default.
- W2090603514 hasRelatedWork W1585007175 @default.
- W2090603514 hasRelatedWork W2144385241 @default.
- W2090603514 hasRelatedWork W2358668433 @default.
- W2090603514 hasRelatedWork W2376932109 @default.
- W2090603514 hasRelatedWork W2382290278 @default.
- W2090603514 hasRelatedWork W2382521049 @default.
- W2090603514 hasRelatedWork W2390279801 @default.
- W2090603514 hasRelatedWork W2748952813 @default.
- W2090603514 hasRelatedWork W2899084033 @default.
- W2090603514 hasRelatedWork W4300101996 @default.
- W2090603514 isParatext "false" @default.
- W2090603514 isRetracted "false" @default.
- W2090603514 magId "2090603514" @default.
- W2090603514 workType "article" @default.