Matches in SemOpenAlex for { <https://semopenalex.org/work/W2243301700> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2243301700 startingPage "218" @default.
- W2243301700 abstract "We consider a class of infinite-state stochastic games generated by stateless pushdown automata (or, equivalently, 1-exit recursive state machines), where the winning objective is specified by a regular set of target configurations and a qualitative probability constraint `${>}0$' or `${=}1$'. The goal of one player is to maximize the probability of reaching the target set so that the constraint is satisfied, while the other player aims at the opposite. We show that the winner in such games can be determined in $textbf{NP} cap textbf{co-NP}$. Further, we prove that the winning regions for both players are regular, and we design algorithms which compute the associated finite-state automata. Finally, we show that winning strategies can be synthesized effectively." @default.
- W2243301700 created "2016-06-24" @default.
- W2243301700 creator A5019575165 @default.
- W2243301700 creator A5048869948 @default.
- W2243301700 creator A5072079710 @default.
- W2243301700 creator A5082160514 @default.
- W2243301700 date "2009-01-01" @default.
- W2243301700 modified "2023-09-23" @default.
- W2243301700 title "Qualitative Reachability in Stochastic BPA Games" @default.
- W2243301700 doi "https://doi.org/10.4230/lipics.stacs.2009.1837" @default.
- W2243301700 hasPublicationYear "2009" @default.
- W2243301700 type Work @default.
- W2243301700 sameAs 2243301700 @default.
- W2243301700 citedByCount "3" @default.
- W2243301700 crossrefType "proceedings-article" @default.
- W2243301700 hasAuthorship W2243301700A5019575165 @default.
- W2243301700 hasAuthorship W2243301700A5048869948 @default.
- W2243301700 hasAuthorship W2243301700A5072079710 @default.
- W2243301700 hasAuthorship W2243301700A5082160514 @default.
- W2243301700 hasConcept C103613024 @default.
- W2243301700 hasConcept C112505250 @default.
- W2243301700 hasConcept C11413529 @default.
- W2243301700 hasConcept C118615104 @default.
- W2243301700 hasConcept C126255220 @default.
- W2243301700 hasConcept C136643341 @default.
- W2243301700 hasConcept C154945302 @default.
- W2243301700 hasConcept C167822520 @default.
- W2243301700 hasConcept C177264268 @default.
- W2243301700 hasConcept C199360897 @default.
- W2243301700 hasConcept C2524010 @default.
- W2243301700 hasConcept C2776036281 @default.
- W2243301700 hasConcept C2777212361 @default.
- W2243301700 hasConcept C2777669093 @default.
- W2243301700 hasConcept C33923547 @default.
- W2243301700 hasConcept C41008148 @default.
- W2243301700 hasConcept C48103436 @default.
- W2243301700 hasConcept C77944639 @default.
- W2243301700 hasConcept C80444323 @default.
- W2243301700 hasConceptScore W2243301700C103613024 @default.
- W2243301700 hasConceptScore W2243301700C112505250 @default.
- W2243301700 hasConceptScore W2243301700C11413529 @default.
- W2243301700 hasConceptScore W2243301700C118615104 @default.
- W2243301700 hasConceptScore W2243301700C126255220 @default.
- W2243301700 hasConceptScore W2243301700C136643341 @default.
- W2243301700 hasConceptScore W2243301700C154945302 @default.
- W2243301700 hasConceptScore W2243301700C167822520 @default.
- W2243301700 hasConceptScore W2243301700C177264268 @default.
- W2243301700 hasConceptScore W2243301700C199360897 @default.
- W2243301700 hasConceptScore W2243301700C2524010 @default.
- W2243301700 hasConceptScore W2243301700C2776036281 @default.
- W2243301700 hasConceptScore W2243301700C2777212361 @default.
- W2243301700 hasConceptScore W2243301700C2777669093 @default.
- W2243301700 hasConceptScore W2243301700C33923547 @default.
- W2243301700 hasConceptScore W2243301700C41008148 @default.
- W2243301700 hasConceptScore W2243301700C48103436 @default.
- W2243301700 hasConceptScore W2243301700C77944639 @default.
- W2243301700 hasConceptScore W2243301700C80444323 @default.
- W2243301700 hasLocation W22433017001 @default.
- W2243301700 hasOpenAccess W2243301700 @default.
- W2243301700 hasPrimaryLocation W22433017001 @default.
- W2243301700 hasRelatedWork W1025150979 @default.
- W2243301700 hasRelatedWork W120296374 @default.
- W2243301700 hasRelatedWork W1482647296 @default.
- W2243301700 hasRelatedWork W1534543955 @default.
- W2243301700 hasRelatedWork W1542849300 @default.
- W2243301700 hasRelatedWork W1795482211 @default.
- W2243301700 hasRelatedWork W1902601809 @default.
- W2243301700 hasRelatedWork W2017194981 @default.
- W2243301700 hasRelatedWork W2038680194 @default.
- W2243301700 hasRelatedWork W2074996640 @default.
- W2243301700 hasRelatedWork W2130828787 @default.
- W2243301700 hasRelatedWork W2334782222 @default.
- W2243301700 hasRelatedWork W2341159425 @default.
- W2243301700 hasRelatedWork W2547977190 @default.
- W2243301700 hasRelatedWork W2755538704 @default.
- W2243301700 hasRelatedWork W2950227744 @default.
- W2243301700 hasRelatedWork W2951121950 @default.
- W2243301700 hasRelatedWork W2963086563 @default.
- W2243301700 hasRelatedWork W3119732188 @default.
- W2243301700 hasRelatedWork W2550411771 @default.
- W2243301700 hasVolume "3" @default.
- W2243301700 isParatext "false" @default.
- W2243301700 isRetracted "false" @default.
- W2243301700 magId "2243301700" @default.
- W2243301700 workType "article" @default.