Games with recurring certainty
Infinite games where several players seek to coordinate under imperfect information are known to be intractable, unless the information flow is severely restricted. Examples of undecidable cases typically feature a situation where players become uncertain about the current state of the game, and thi...
Main Authors: | , |
---|---|
Format: | Article |
Language: | English |
Published: |
Open Publishing Association
2014-04-01
|
Series: | Electronic Proceedings in Theoretical Computer Science |
Online Access: | http://arxiv.org/pdf/1404.7770v1 |
id |
doaj-9ef4527a0f9445d985e99031c72538c7 |
---|---|
record_format |
Article |
spelling |
doaj-9ef4527a0f9445d985e99031c72538c72020-11-24T22:40:17ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802014-04-01146Proc. SR 2014919610.4204/EPTCS.146.12:17Games with recurring certaintyDietmar Berwanger0Anup Basil Mathew1 Laboratoire Specification et Verification CNRS & ENS Cachan, France Institute of Mathematical Sciences Chennai, India Infinite games where several players seek to coordinate under imperfect information are known to be intractable, unless the information flow is severely restricted. Examples of undecidable cases typically feature a situation where players become uncertain about the current state of the game, and this uncertainty lasts forever. Here we consider games where the players attain certainty about the current state over and over again along any play. For finite-state games, we note that this kind of recurring certainty implies a stronger condition of periodic certainty, that is, the events of state certainty ultimately occur at uniform, regular intervals. We show that it is decidable whether a given game presents recurring certainty, and that, if so, the problem of synthesising coordination strategies under w-regular winning conditions is solvable.http://arxiv.org/pdf/1404.7770v1 |
collection |
DOAJ |
language |
English |
format |
Article |
sources |
DOAJ |
author |
Dietmar Berwanger Anup Basil Mathew |
spellingShingle |
Dietmar Berwanger Anup Basil Mathew Games with recurring certainty Electronic Proceedings in Theoretical Computer Science |
author_facet |
Dietmar Berwanger Anup Basil Mathew |
author_sort |
Dietmar Berwanger |
title |
Games with recurring certainty |
title_short |
Games with recurring certainty |
title_full |
Games with recurring certainty |
title_fullStr |
Games with recurring certainty |
title_full_unstemmed |
Games with recurring certainty |
title_sort |
games with recurring certainty |
publisher |
Open Publishing Association |
series |
Electronic Proceedings in Theoretical Computer Science |
issn |
2075-2180 |
publishDate |
2014-04-01 |
description |
Infinite games where several players seek to coordinate under imperfect information are known to be intractable, unless the information flow is severely restricted. Examples of undecidable cases typically feature a situation where players become uncertain about the current state of the game, and this uncertainty lasts forever. Here we consider games where the players attain certainty about the current state over and over again along any play. For finite-state games, we note that this kind of recurring certainty implies a stronger condition of periodic certainty, that is, the events of state certainty ultimately occur at uniform, regular intervals. We show that it is decidable whether a given game presents recurring certainty, and that, if so, the problem of synthesising coordination strategies under w-regular winning conditions is solvable. |
url |
http://arxiv.org/pdf/1404.7770v1 |
work_keys_str_mv |
AT dietmarberwanger gameswithrecurringcertainty AT anupbasilmathew gameswithrecurringcertainty |
_version_ |
1725705099871780864 |