Search: id:"swepub:oai:DiVA.org:uu-106057" >
Stochastic games wi...
Stochastic games with lossy channels
-
- Abdulla, Parosh Aziz (author)
- Uppsala universitet,Datorteknik
-
- Ben Henda, Noomene (author)
- Uppsala universitet,Datorteknik
-
de Alfaro, Luca (author)
-
show more...
-
Mayr, Richard (author)
-
- Sandberg, Sven (author)
- Uppsala universitet,Datorteknik
-
show less...
-
(creator_code:org_t)
- Berlin : Springer-Verlag, 2008
- 2008
- English.
-
In: Foundations of Software Science and Computational Structures. - Berlin : Springer-Verlag. ; , s. 35-49
- Related links:
-
https://link.springe...
-
show more...
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
show less...
Abstract
Subject headings
Close
- 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 Buchi (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].
Subject headings
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Keyword
- Computer science
- Datavetenskap
Publication and Content Type
- ref (subject category)
- kon (subject category)
To the university's database