Matches in SemOpenAlex for { <https://semopenalex.org/work/W2953804391> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2953804391 abstract "We consider two-player partial-observation stochastic games on finite-state graphs where player 1 has partial observation and player 2 has perfect observation. The winning condition we study are omega-regular conditions specified as parity objectives. The qualitative-analysis problem given a partial-observation stochastic game and a parity objective asks whether there is a strategy to ensure that the objective is satisfied with probability~1 (resp. positive probability). These qualtitative-analysis problems are known to be undecidable. However in many applications the relevant question is the existence of finite-memory strategies, and the qualitative-analysis problems under finite-memory strategies was recently shown to be decidable in 2EXPTIME. We improve the complexity and show that the qualitative-analysis problems for partial-observation stochastic parity games under finite-memory strategies are EXPTIME-complete; and also establish optimal (exponential) memory bounds for finite-memory strategies required for qualitative analysis." @default.
- W2953804391 created "2019-07-12" @default.
- W2953804391 creator A5000059818 @default.
- W2953804391 creator A5013106333 @default.
- W2953804391 creator A5052607806 @default.
- W2953804391 creator A5067838320 @default.
- W2953804391 date "2014-01-14" @default.
- W2953804391 modified "2023-10-11" @default.
- W2953804391 title "The Complexity of Partial-observation Stochastic Parity Games With Finite-memory Strategies" @default.
- W2953804391 cites W1640973035 @default.
- W2953804391 cites W1667094241 @default.
- W2953804391 cites W177913229 @default.
- W2953804391 cites W1969912861 @default.
- W2953804391 cites W1987738956 @default.
- W2953804391 cites W2016206563 @default.
- W2953804391 cites W2035745665 @default.
- W2953804391 cites W2048905609 @default.
- W2953804391 cites W2076284895 @default.
- W2953804391 cites W2092977061 @default.
- W2953804391 cites W2113798763 @default.
- W2953804391 cites W2135432862 @default.
- W2953804391 cites W2170933628 @default.
- W2953804391 cites W2181881845 @default.
- W2953804391 cites W2341159425 @default.
- W2953804391 cites W2569902747 @default.
- W2953804391 cites W2570990303 @default.
- W2953804391 hasPublicationYear "2014" @default.
- W2953804391 type Work @default.
- W2953804391 sameAs 2953804391 @default.
- W2953804391 citedByCount "1" @default.
- W2953804391 countsByYear W29538043912016 @default.
- W2953804391 crossrefType "posted-content" @default.
- W2953804391 hasAuthorship W2953804391A5000059818 @default.
- W2953804391 hasAuthorship W2953804391A5013106333 @default.
- W2953804391 hasAuthorship W2953804391A5052607806 @default.
- W2953804391 hasAuthorship W2953804391A5067838320 @default.
- W2953804391 hasConcept C109214941 @default.
- W2953804391 hasConcept C11413529 @default.
- W2953804391 hasConcept C118615104 @default.
- W2953804391 hasConcept C121332964 @default.
- W2953804391 hasConcept C153269930 @default.
- W2953804391 hasConcept C179799912 @default.
- W2953804391 hasConcept C192034797 @default.
- W2953804391 hasConcept C197685441 @default.
- W2953804391 hasConcept C2777151079 @default.
- W2953804391 hasConcept C33923547 @default.
- W2953804391 hasConcept C41008148 @default.
- W2953804391 hasConcept C56049555 @default.
- W2953804391 hasConcept C80444323 @default.
- W2953804391 hasConceptScore W2953804391C109214941 @default.
- W2953804391 hasConceptScore W2953804391C11413529 @default.
- W2953804391 hasConceptScore W2953804391C118615104 @default.
- W2953804391 hasConceptScore W2953804391C121332964 @default.
- W2953804391 hasConceptScore W2953804391C153269930 @default.
- W2953804391 hasConceptScore W2953804391C179799912 @default.
- W2953804391 hasConceptScore W2953804391C192034797 @default.
- W2953804391 hasConceptScore W2953804391C197685441 @default.
- W2953804391 hasConceptScore W2953804391C2777151079 @default.
- W2953804391 hasConceptScore W2953804391C33923547 @default.
- W2953804391 hasConceptScore W2953804391C41008148 @default.
- W2953804391 hasConceptScore W2953804391C56049555 @default.
- W2953804391 hasConceptScore W2953804391C80444323 @default.
- W2953804391 hasLocation W29538043911 @default.
- W2953804391 hasOpenAccess W2953804391 @default.
- W2953804391 hasPrimaryLocation W29538043911 @default.
- W2953804391 hasRelatedWork W1025150979 @default.
- W2953804391 hasRelatedWork W1508811488 @default.
- W2953804391 hasRelatedWork W1549541479 @default.
- W2953804391 hasRelatedWork W1738154394 @default.
- W2953804391 hasRelatedWork W1795482211 @default.
- W2953804391 hasRelatedWork W2038680194 @default.
- W2953804391 hasRelatedWork W2042796301 @default.
- W2953804391 hasRelatedWork W2074996640 @default.
- W2953804391 hasRelatedWork W2090603514 @default.
- W2953804391 hasRelatedWork W2292004431 @default.
- W2953804391 hasRelatedWork W2297612891 @default.
- W2953804391 hasRelatedWork W2341159425 @default.
- W2953804391 hasRelatedWork W2547977190 @default.
- W2953804391 hasRelatedWork W2797032634 @default.
- W2953804391 hasRelatedWork W2951788427 @default.
- W2953804391 hasRelatedWork W3100442804 @default.
- W2953804391 hasRelatedWork W3119732188 @default.
- W2953804391 hasRelatedWork W3202621629 @default.
- W2953804391 hasRelatedWork W56243335 @default.
- W2953804391 hasRelatedWork W2550411771 @default.
- W2953804391 isParatext "false" @default.
- W2953804391 isRetracted "false" @default.
- W2953804391 magId "2953804391" @default.
- W2953804391 workType "article" @default.