FRINK Linked Data Fragments server

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

• W2754858045 endingPage "48" @default.
• W2754858045 startingPage "1" @default.
• W2754858045 abstract "We consider two-person zero-sum stochastic games with signals, a standard model of stochastic games with imperfect information. The only source of information for the players consists of the signals they receive; they cannot directly observe the state of the game, nor the actions played by their opponent, nor their own actions. We are interested in the existence of almost-surely winning or positively winning strategies, under reachability, safety, Büchi, or co-Büchi winning objectives, and the computation of these strategies when the game has finitely many states and actions. 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 achieve surely the dual safety objective, or both players have positively winning strategies. Second, in a Büchi game, if player 1 cannot achieve almost surely the Büchi objective, then player 2 can ensure positively the dual co-Büchi objective. We prove that players only need strategies with finite memory . The number of memory states needed to win with finite-memory strategies ranges from one (corresponding to memoryless strategies) to doubly exponential, with matching upper and 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 an associated finite-memory strategy. Complexity ranges from EXPTIME to 2EXPTIME, with matching lower bounds. Our fix-point algorithms also enjoy a better complexity in the cases where one of the players is better informed than their opponent. Our results hold even when players do not necessarily observe their own actions. The adequate class of strategies, in this case, is mixed or general strategies (they are equivalent). Behavioral strategies are too restrictive to guarantee determinacy: it may happen that one of the players has a winning general strategy but none of them has a winning behavioral strategy. On the other hand, if a player can observe their actions, then general, mixed, and behavioral strategies are equivalent. Finite-memory strategies are sufficient for determinacy to hold, provided that randomized memory updates are allowed." @default.
• W2754858045 created "2017-09-25" @default.
• W2754858045 creator A5019307337 @default.
• W2754858045 creator A5056775678 @default.
• W2754858045 creator A5064810861 @default.
• W2754858045 date "2017-09-15" @default.
• W2754858045 modified "2023-09-23" @default.
• W2754858045 title "Qualitative Determinacy and Decidability of Stochastic Games with Signals" @default.
• W2754858045 cites W1778174682 @default.
• W2754858045 cites W1966347268 @default.
• W2754858045 cites W1982429087 @default.
• W2754858045 cites W1987738956 @default.
• W2754858045 cites W2017194981 @default.
• W2754858045 cites W2021792774 @default.
• W2754858045 cites W2029319064 @default.
• W2754858045 cites W2057554513 @default.
• W2754858045 cites W2066219736 @default.
• W2754858045 cites W2069791914 @default.
• W2754858045 cites W2074996640 @default.
• W2754858045 cites W2135432862 @default.
• W2754858045 cites W2147830304 @default.
• W2754858045 cites W2150944278 @default.
• W2754858045 cites W3103400979 @default.
• W2754858045 cites W4212875940 @default.
• W2754858045 cites W4232753567 @default.
• W2754858045 cites W4254547512 @default.
• W2754858045 doi "https://doi.org/10.1145/3107926" @default.
• W2754858045 hasPublicationYear "2017" @default.
• W2754858045 type Work @default.
• W2754858045 sameAs 2754858045 @default.
• W2754858045 citedByCount "8" @default.
• W2754858045 countsByYear W27548580452015 @default.
• W2754858045 countsByYear W27548580452018 @default.
• W2754858045 countsByYear W27548580452022 @default.
• W2754858045 countsByYear W27548580452023 @default.
• W2754858045 crossrefType "journal-article" @default.
• W2754858045 hasAuthorship W2754858045A5019307337 @default.
• W2754858045 hasAuthorship W2754858045A5056775678 @default.
• W2754858045 hasAuthorship W2754858045A5064810861 @default.
• W2754858045 hasBestOaLocation W27548580452 @default.
• W2754858045 hasConcept C105795698 @default.
• W2754858045 hasConcept C118615104 @default.
• W2754858045 hasConcept C123676819 @default.
• W2754858045 hasConcept C134306372 @default.
• W2754858045 hasConcept C136643341 @default.
• W2754858045 hasConcept C144237770 @default.
• W2754858045 hasConcept C153269930 @default.
• W2754858045 hasConcept C154945302 @default.
• W2754858045 hasConcept C165064840 @default.
• W2754858045 hasConcept C170828538 @default.
• W2754858045 hasConcept C177142836 @default.
• W2754858045 hasConcept C202556891 @default.
• W2754858045 hasConcept C33923547 @default.
• W2754858045 hasConcept C41008148 @default.
• W2754858045 hasConcept C47187476 @default.
• W2754858045 hasConcept C56694532 @default.
• W2754858045 hasConcept C58468513 @default.
• W2754858045 hasConcept C80444323 @default.
• W2754858045 hasConceptScore W2754858045C105795698 @default.
• W2754858045 hasConceptScore W2754858045C118615104 @default.
• W2754858045 hasConceptScore W2754858045C123676819 @default.
• W2754858045 hasConceptScore W2754858045C134306372 @default.
• W2754858045 hasConceptScore W2754858045C136643341 @default.
• W2754858045 hasConceptScore W2754858045C144237770 @default.
• W2754858045 hasConceptScore W2754858045C153269930 @default.
• W2754858045 hasConceptScore W2754858045C154945302 @default.
• W2754858045 hasConceptScore W2754858045C165064840 @default.
• W2754858045 hasConceptScore W2754858045C170828538 @default.
• W2754858045 hasConceptScore W2754858045C177142836 @default.
• W2754858045 hasConceptScore W2754858045C202556891 @default.
• W2754858045 hasConceptScore W2754858045C33923547 @default.
• W2754858045 hasConceptScore W2754858045C41008148 @default.
• W2754858045 hasConceptScore W2754858045C47187476 @default.
• W2754858045 hasConceptScore W2754858045C56694532 @default.
• W2754858045 hasConceptScore W2754858045C58468513 @default.
• W2754858045 hasConceptScore W2754858045C80444323 @default.
• W2754858045 hasIssue "5" @default.
• W2754858045 hasLocation W27548580451 @default.
• W2754858045 hasLocation W27548580452 @default.
• W2754858045 hasLocation W27548580453 @default.
• W2754858045 hasLocation W27548580454 @default.
• W2754858045 hasLocation W27548580455 @default.
• W2754858045 hasLocation W27548580456 @default.
• W2754858045 hasLocation W27548580457 @default.
• W2754858045 hasOpenAccess W2754858045 @default.
• W2754858045 hasPrimaryLocation W27548580451 @default.
• W2754858045 hasRelatedWork W1503151496 @default.
• W2754858045 hasRelatedWork W1644495678 @default.
• W2754858045 hasRelatedWork W2135432862 @default.
• W2754858045 hasRelatedWork W2754858045 @default.
• W2754858045 hasRelatedWork W2952650488 @default.
• W2754858045 hasRelatedWork W34580259 @default.
• W2754858045 hasRelatedWork W4231475355 @default.
• W2754858045 hasRelatedWork W4298257953 @default.
• W2754858045 hasRelatedWork W4299955740 @default.
• W2754858045 hasRelatedWork W4301746292 @default.
• W2754858045 hasVolume "64" @default.
• W2754858045 isParatext "false" @default.

• next