Show simple item record

dc.contributor.authorNain, Sumit
Vardi, Moshe Y.
dc.date.accessioned 2014-11-21T21:50:13Z
dc.date.available 2014-11-21T21:50:13Z
dc.date.issued 2013
dc.identifier.citation Nain, Sumit and Vardi, Moshe Y.. "Solving Partial-Information Stochastic Parity Games." LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, (2013) Association for Computing Machinery: 341-348. http://dx.doi.org/10.1109/LICS.2013.40.
dc.identifier.urihttps://hdl.handle.net/1911/78492
dc.description.abstract We study one-sided partial-information 2-player concurrent stochastic games with parity objectives. In such a game, one of the players has only partial visibility of the state of the game, while the other player has complete knowledge. In general, such games are known to be undecidable, even for the case of a single player (POMDP). These undecidability results depend crucially on player strategies that exploit an infinite amount of memory. However, in many applications of games, one is usually more interested in finding a finitememory strategy. We consider the problem of whether the player with partial information has a finite-memory winning strategy when the player with complete information is allowed to use an arbitrary amount of memory. We show that this problem is decidable.
dc.language.iso eng
dc.publisher Association for Computing Machinery
dc.rights This is an author's peer-reviewed final manuscript, as accepted by the publisher. The published article is copyrighted by the Association for Computing Machinery.
dc.title Solving Partial-Information Stochastic Parity Games
dc.type Conference paper
dc.citation.journalTitle LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
dc.citation.conferenceName 28th Annual ACM/IEEE Symposium on Logic in Computer Science
dc.citation.conferenceDate 2013
dc.type.dcmi Text
dc.identifier.doihttp://dx.doi.org/10.1109/LICS.2013.40
dc.type.publication post-print
dc.citation.firstpage 341
dc.citation.lastpage 348


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record