Matches in SemOpenAlex for { <https://semopenalex.org/work/W2164822567> ?p ?o ?g. }
- W2164822567 endingPage "49" @default.
- W2164822567 startingPage "35" @default.
- W2164822567 abstract "We consider turn-based stochastic games on infinite graphs induced by game probabilistic lossy channel systems (GPLCS), the game version of probabilistic lossy channel systems (PLCS). We study games with Büchi (repeated reachability) objectives and almost-sure winning conditions. These games are pure memoryless determined and, under the assumption that the target set is regular, a symbolic representation of the set of winning states for each player can be effectively constructed. Thus, turn-based stochastic games on GPLCS are decidable. This generalizes the decidability result for PLCS-induced Markov decision processes in [10]." @default.
- W2164822567 created "2016-06-24" @default.
- W2164822567 creator A5002478680 @default.
- W2164822567 creator A5050777140 @default.
- W2164822567 creator A5058129832 @default.
- W2164822567 creator A5061774156 @default.
- W2164822567 creator A5082358544 @default.
- W2164822567 date "2008-01-01" @default.
- W2164822567 modified "2023-09-27" @default.
- W2164822567 title "Stochastic Games with Lossy Channels" @default.
- W2164822567 cites W1482647296 @default.
- W2164822567 cites W1521216227 @default.
- W2164822567 cites W1525935082 @default.
- W2164822567 cites W1561838634 @default.
- W2164822567 cites W1569859040 @default.
- W2164822567 cites W1570408932 @default.
- W2164822567 cites W1667094241 @default.
- W2164822567 cites W1868359205 @default.
- W2164822567 cites W1903527352 @default.
- W2164822567 cites W1966347268 @default.
- W2164822567 cites W1980330971 @default.
- W2164822567 cites W1987814265 @default.
- W2164822567 cites W2060375000 @default.
- W2164822567 cites W2067398978 @default.
- W2164822567 cites W2076508310 @default.
- W2164822567 cites W2083816928 @default.
- W2164822567 cites W2123160677 @default.
- W2164822567 cites W2153983552 @default.
- W2164822567 cites W2164822567 @default.
- W2164822567 cites W2165161585 @default.
- W2164822567 cites W2480943391 @default.
- W2164822567 cites W2575731723 @default.
- W2164822567 cites W3100374687 @default.
- W2164822567 cites W4232474943 @default.
- W2164822567 doi "https://doi.org/10.1007/978-3-540-78499-9_4" @default.
- W2164822567 hasPublicationYear "2008" @default.
- W2164822567 type Work @default.
- W2164822567 sameAs 2164822567 @default.
- W2164822567 citedByCount "22" @default.
- W2164822567 countsByYear W21648225672012 @default.
- W2164822567 countsByYear W21648225672013 @default.
- W2164822567 countsByYear W21648225672014 @default.
- W2164822567 countsByYear W21648225672015 @default.
- W2164822567 countsByYear W21648225672021 @default.
- W2164822567 crossrefType "book-chapter" @default.
- W2164822567 hasAuthorship W2164822567A5002478680 @default.
- W2164822567 hasAuthorship W2164822567A5050777140 @default.
- W2164822567 hasAuthorship W2164822567A5058129832 @default.
- W2164822567 hasAuthorship W2164822567A5061774156 @default.
- W2164822567 hasAuthorship W2164822567A5082358544 @default.
- W2164822567 hasBestOaLocation W21648225671 @default.
- W2164822567 hasConcept C105795698 @default.
- W2164822567 hasConcept C106189395 @default.
- W2164822567 hasConcept C11413529 @default.
- W2164822567 hasConcept C118615104 @default.
- W2164822567 hasConcept C119857082 @default.
- W2164822567 hasConcept C127162648 @default.
- W2164822567 hasConcept C136643341 @default.
- W2164822567 hasConcept C144237770 @default.
- W2164822567 hasConcept C153269930 @default.
- W2164822567 hasConcept C154945302 @default.
- W2164822567 hasConcept C159886148 @default.
- W2164822567 hasConcept C165021410 @default.
- W2164822567 hasConcept C177264268 @default.
- W2164822567 hasConcept C17744445 @default.
- W2164822567 hasConcept C199360897 @default.
- W2164822567 hasConcept C199539241 @default.
- W2164822567 hasConcept C22171661 @default.
- W2164822567 hasConcept C2776359362 @default.
- W2164822567 hasConcept C33923547 @default.
- W2164822567 hasConcept C41008148 @default.
- W2164822567 hasConcept C49937458 @default.
- W2164822567 hasConcept C76155785 @default.
- W2164822567 hasConcept C80444323 @default.
- W2164822567 hasConcept C94625758 @default.
- W2164822567 hasConcept C98763669 @default.
- W2164822567 hasConceptScore W2164822567C105795698 @default.
- W2164822567 hasConceptScore W2164822567C106189395 @default.
- W2164822567 hasConceptScore W2164822567C11413529 @default.
- W2164822567 hasConceptScore W2164822567C118615104 @default.
- W2164822567 hasConceptScore W2164822567C119857082 @default.
- W2164822567 hasConceptScore W2164822567C127162648 @default.
- W2164822567 hasConceptScore W2164822567C136643341 @default.
- W2164822567 hasConceptScore W2164822567C144237770 @default.
- W2164822567 hasConceptScore W2164822567C153269930 @default.
- W2164822567 hasConceptScore W2164822567C154945302 @default.
- W2164822567 hasConceptScore W2164822567C159886148 @default.
- W2164822567 hasConceptScore W2164822567C165021410 @default.
- W2164822567 hasConceptScore W2164822567C177264268 @default.
- W2164822567 hasConceptScore W2164822567C17744445 @default.
- W2164822567 hasConceptScore W2164822567C199360897 @default.
- W2164822567 hasConceptScore W2164822567C199539241 @default.
- W2164822567 hasConceptScore W2164822567C22171661 @default.
- W2164822567 hasConceptScore W2164822567C2776359362 @default.
- W2164822567 hasConceptScore W2164822567C33923547 @default.
- W2164822567 hasConceptScore W2164822567C41008148 @default.
- W2164822567 hasConceptScore W2164822567C49937458 @default.
- W2164822567 hasConceptScore W2164822567C76155785 @default.