FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2135432862> ?p ?o ?g. }

• W2135432862 abstract "We consider the standard model of finite two person zero sum stochastic games with signals. We are interested in the existence of almost surely winning or positively winning strategies, under reachability, safety, Buchi or co-Buchi winning objectives. We prove two qualitative determinacy results. First, in a reachability game either player 1 can achieve almost-surely the reachability objective, or player 2 can ensure surely the complementary safety objective, or both players have positively winning strategies. Second, in a Buchi game if player 1 cannot achieve almost-surely the Buchi objective, then player 2 can ensure positively the complementary co-Buchi objective. We prove that players only need strategies with finite memory, whose sizes range from no memory at all to doubly-exponential number of states, with matching lower bounds. Together with the qualitative determinacy results, we also provide fix point algorithms for deciding which player has an almost surely winning or a positively winning strategy and for computing the finite memory strategy. Complexity ranges from EXPTIME to 2-EXPTIME with matching lower bounds, and better complexity can be achieved for some special cases where one of the players is better informed than her opponent." @default.
• W2135432862 created "2016-06-24" @default.
• W2135432862 creator A5019307337 @default.
• W2135432862 creator A5056775678 @default.
• W2135432862 creator A5064810861 @default.
• W2135432862 date "2009-08-01" @default.
• W2135432862 modified "2023-10-15" @default.
• W2135432862 title "Qualitative Determinacy and Decidability of Stochastic Games with Signals" @default.
• W2135432862 cites W1494426349 @default.
• W2135432862 cites W1543883954 @default.
• W2135432862 cites W1966347268 @default.
• W2135432862 cites W1982429087 @default.
• W2135432862 cites W2021792774 @default.
• W2135432862 cites W2066219736 @default.
• W2135432862 cites W2074996640 @default.
• W2135432862 cites W2084766923 @default.
• W2135432862 cites W2112471611 @default.
• W2135432862 cites W2147830304 @default.
• W2135432862 cites W2502103274 @default.
• W2135432862 cites W2575731723 @default.
• W2135432862 doi "https://doi.org/10.1109/lics.2009.31" @default.
• W2135432862 hasPublicationYear "2009" @default.
• W2135432862 type Work @default.
• W2135432862 sameAs 2135432862 @default.
• W2135432862 citedByCount "36" @default.
• W2135432862 countsByYear W21354328622012 @default.
• W2135432862 countsByYear W21354328622013 @default.
• W2135432862 countsByYear W21354328622014 @default.
• W2135432862 countsByYear W21354328622015 @default.
• W2135432862 countsByYear W21354328622017 @default.
• W2135432862 countsByYear W21354328622020 @default.
• W2135432862 crossrefType "proceedings-article" @default.
• W2135432862 hasAuthorship W2135432862A5019307337 @default.
• W2135432862 hasAuthorship W2135432862A5056775678 @default.
• W2135432862 hasAuthorship W2135432862A5064810861 @default.
• W2135432862 hasBestOaLocation W21354328622 @default.
• W2135432862 hasConcept C105795698 @default.
• W2135432862 hasConcept C106189395 @default.
• W2135432862 hasConcept C118615104 @default.
• W2135432862 hasConcept C134306372 @default.
• W2135432862 hasConcept C136643341 @default.
• W2135432862 hasConcept C144237770 @default.
• W2135432862 hasConcept C153269930 @default.
• W2135432862 hasConcept C154945302 @default.
• W2135432862 hasConcept C159886148 @default.
• W2135432862 hasConcept C162838799 @default.
• W2135432862 hasConcept C165064840 @default.
• W2135432862 hasConcept C170828538 @default.
• W2135432862 hasConcept C177142836 @default.
• W2135432862 hasConcept C202556891 @default.
• W2135432862 hasConcept C2777669093 @default.
• W2135432862 hasConcept C33923547 @default.
• W2135432862 hasConcept C41008148 @default.
• W2135432862 hasConcept C47187476 @default.
• W2135432862 hasConcept C56694532 @default.
• W2135432862 hasConcept C58468513 @default.
• W2135432862 hasConcept C80444323 @default.
• W2135432862 hasConceptScore W2135432862C105795698 @default.
• W2135432862 hasConceptScore W2135432862C106189395 @default.
• W2135432862 hasConceptScore W2135432862C118615104 @default.
• W2135432862 hasConceptScore W2135432862C134306372 @default.
• W2135432862 hasConceptScore W2135432862C136643341 @default.
• W2135432862 hasConceptScore W2135432862C144237770 @default.
• W2135432862 hasConceptScore W2135432862C153269930 @default.
• W2135432862 hasConceptScore W2135432862C154945302 @default.
• W2135432862 hasConceptScore W2135432862C159886148 @default.
• W2135432862 hasConceptScore W2135432862C162838799 @default.
• W2135432862 hasConceptScore W2135432862C165064840 @default.
• W2135432862 hasConceptScore W2135432862C170828538 @default.
• W2135432862 hasConceptScore W2135432862C177142836 @default.
• W2135432862 hasConceptScore W2135432862C202556891 @default.
• W2135432862 hasConceptScore W2135432862C2777669093 @default.
• W2135432862 hasConceptScore W2135432862C33923547 @default.
• W2135432862 hasConceptScore W2135432862C41008148 @default.
• W2135432862 hasConceptScore W2135432862C47187476 @default.
• W2135432862 hasConceptScore W2135432862C56694532 @default.
• W2135432862 hasConceptScore W2135432862C58468513 @default.
• W2135432862 hasConceptScore W2135432862C80444323 @default.
• W2135432862 hasLocation W21354328621 @default.
• W2135432862 hasLocation W21354328622 @default.
• W2135432862 hasLocation W21354328623 @default.
• W2135432862 hasLocation W21354328624 @default.
• W2135432862 hasLocation W21354328625 @default.
• W2135432862 hasLocation W21354328626 @default.
• W2135432862 hasLocation W21354328627 @default.
• W2135432862 hasLocation W21354328628 @default.
• W2135432862 hasOpenAccess W2135432862 @default.
• W2135432862 hasPrimaryLocation W21354328621 @default.
• W2135432862 hasRelatedWork W1553002193 @default.
• W2135432862 hasRelatedWork W1629112568 @default.
• W2135432862 hasRelatedWork W2020140696 @default.
• W2135432862 hasRelatedWork W2090401819 @default.
• W2135432862 hasRelatedWork W2302192021 @default.
• W2135432862 hasRelatedWork W2396103282 @default.
• W2135432862 hasRelatedWork W2591956186 @default.
• W2135432862 hasRelatedWork W2935928249 @default.
• W2135432862 hasRelatedWork W2961758588 @default.
• W2135432862 hasRelatedWork W2584984136 @default.
• W2135432862 isParatext "false" @default.
• W2135432862 isRetracted "false" @default.

• next