FRINK Linked Data Fragments server

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

• W3100442804 abstract "We study Recursive Concurrent Stochastic Games (RCSGs), extending our recent analysis of recursive simple stochastic games to a concurrent setting where the two players choose moves simultaneously and independently at each state. For multi-exit games, our earlier work already showed undecidability for basic questions like termination, thus we focus on the important case of single-exit RCSGs (1-RCSGs). We first characterize the value of a 1-RCSG termination game as the least fixed point solution of a system of nonlinear minimax functional equations, and use it to show PSPACE decidability for the quantitative termination problem. We then give a strategy improvement technique, which we use to show that player 1 (maximizer) has epsilon-optimal randomized Stackless & Memoryless (r-SM) strategies for all epsilon > 0, while player 2 (minimizer) has optimal r-SM strategies. Thus, such games are r-SM-determined. These results mirror and generalize in a strong sense the randomized memoryless determinacy results for finite stochastic games, and extend the classic Hoffman-Karp strategy improvement approach from the finite to an infinite state setting. The proofs in our infinite-state setting are very different however, relying on subtle analytic properties of certain power series that arise from studying 1-RCSGs. We show that our upper bounds, even for qualitative (probability 1) termination, can not be improved, even to NP, without a major breakthrough, by giving two reductions: first a P-time reduction from the long-standing square-root sum problem to the quantitative termination decision problem for finite concurrent stochastic games, and then a P-time reduction from the latter problem to the qualitative termination problem for 1-RCSGs." @default.
• W3100442804 created "2020-11-23" @default.
• W3100442804 creator A5003946901 @default.
• W3100442804 creator A5043084405 @default.
• W3100442804 date "2008-11-11" @default.
• W3100442804 modified "2023-10-16" @default.
• W3100442804 title "Recursive Concurrent Stochastic Games" @default.
• W3100442804 cites W1482647296 @default.
• W3100442804 cites W1496590343 @default.
• W3100442804 cites W1496672808 @default.
• W3100442804 cites W1498910922 @default.
• W3100442804 cites W1559984321 @default.
• W3100442804 cites W1715173658 @default.
• W3100442804 cites W1966347268 @default.
• W3100442804 cites W1991813962 @default.
• W3100442804 cites W2022773242 @default.
• W3100442804 cites W2036758357 @default.
• W3100442804 cites W2042796301 @default.
• W3100442804 cites W2056545661 @default.
• W3100442804 cites W2060155289 @default.
• W3100442804 cites W2066194644 @default.
• W3100442804 cites W2067754486 @default.
• W3100442804 cites W2126544654 @default.
• W3100442804 cites W2142008356 @default.
• W3100442804 cites W2156268532 @default.
• W3100442804 cites W2167246417 @default.
• W3100442804 cites W2568511220 @default.
• W3100442804 cites W2575731723 @default.
• W3100442804 cites W2503332865 @default.
• W3100442804 cites W2585424667 @default.
• W3100442804 doi "https://doi.org/10.2168/lmcs-4(4:7)2008" @default.
• W3100442804 hasPublicationYear "2008" @default.
• W3100442804 type Work @default.
• W3100442804 sameAs 3100442804 @default.
• W3100442804 citedByCount "25" @default.
• W3100442804 countsByYear W31004428042012 @default.
• W3100442804 countsByYear W31004428042013 @default.
• W3100442804 countsByYear W31004428042014 @default.
• W3100442804 countsByYear W31004428042015 @default.
• W3100442804 countsByYear W31004428042016 @default.
• W3100442804 countsByYear W31004428042017 @default.
• W3100442804 countsByYear W31004428042018 @default.
• W3100442804 countsByYear W31004428042020 @default.
• W3100442804 crossrefType "journal-article" @default.
• W3100442804 hasAuthorship W3100442804A5003946901 @default.
• W3100442804 hasAuthorship W3100442804A5043084405 @default.
• W3100442804 hasBestOaLocation W31004428041 @default.
• W3100442804 hasConcept C105795698 @default.
• W3100442804 hasConcept C106189395 @default.
• W3100442804 hasConcept C108710211 @default.
• W3100442804 hasConcept C111335779 @default.
• W3100442804 hasConcept C111472728 @default.
• W3100442804 hasConcept C11413529 @default.
• W3100442804 hasConcept C118615104 @default.
• W3100442804 hasConcept C126255220 @default.
• W3100442804 hasConcept C134306372 @default.
• W3100442804 hasConcept C138885662 @default.
• W3100442804 hasConcept C144237770 @default.
• W3100442804 hasConcept C149728462 @default.
• W3100442804 hasConcept C153269930 @default.
• W3100442804 hasConcept C159886148 @default.
• W3100442804 hasConcept C2524010 @default.
• W3100442804 hasConcept C2780586882 @default.
• W3100442804 hasConcept C28826006 @default.
• W3100442804 hasConcept C33923547 @default.
• W3100442804 hasConcept C41008148 @default.
• W3100442804 hasConcept C48103436 @default.
• W3100442804 hasConcept C58468513 @default.
• W3100442804 hasConceptScore W3100442804C105795698 @default.
• W3100442804 hasConceptScore W3100442804C106189395 @default.
• W3100442804 hasConceptScore W3100442804C108710211 @default.
• W3100442804 hasConceptScore W3100442804C111335779 @default.
• W3100442804 hasConceptScore W3100442804C111472728 @default.
• W3100442804 hasConceptScore W3100442804C11413529 @default.
• W3100442804 hasConceptScore W3100442804C118615104 @default.
• W3100442804 hasConceptScore W3100442804C126255220 @default.
• W3100442804 hasConceptScore W3100442804C134306372 @default.
• W3100442804 hasConceptScore W3100442804C138885662 @default.
• W3100442804 hasConceptScore W3100442804C144237770 @default.
• W3100442804 hasConceptScore W3100442804C149728462 @default.
• W3100442804 hasConceptScore W3100442804C153269930 @default.
• W3100442804 hasConceptScore W3100442804C159886148 @default.
• W3100442804 hasConceptScore W3100442804C2524010 @default.
• W3100442804 hasConceptScore W3100442804C2780586882 @default.
• W3100442804 hasConceptScore W3100442804C28826006 @default.
• W3100442804 hasConceptScore W3100442804C33923547 @default.
• W3100442804 hasConceptScore W3100442804C41008148 @default.
• W3100442804 hasConceptScore W3100442804C48103436 @default.
• W3100442804 hasConceptScore W3100442804C58468513 @default.
• W3100442804 hasLocation W31004428041 @default.
• W3100442804 hasLocation W31004428042 @default.
• W3100442804 hasLocation W31004428043 @default.
• W3100442804 hasLocation W31004428044 @default.
• W3100442804 hasLocation W31004428045 @default.
• W3100442804 hasLocation W31004428046 @default.
• W3100442804 hasLocation W31004428047 @default.
• W3100442804 hasLocation W31004428048 @default.
• W3100442804 hasOpenAccess W3100442804 @default.
• W3100442804 hasPrimaryLocation W31004428041 @default.
• W3100442804 hasRelatedWork W1521335825 @default.

• next