Sciweavers

ATVA
2015
Springer

Hierarchical Information Patterns and Distributed Strategy Synthesis

8 years 7 months ago
Hierarchical Information Patterns and Distributed Strategy Synthesis
Abstract Infinite games with imperfect information tend to be undecidable unless the information flow is severely restricted. One fundamental decidable case occurs when there is a total ordering among players, such that each player has access to all the information that the following ones receive. In this paper we consider variations of this hierarchy principle for synchronous games with perfect recall, and identify new decidable classes for which the distributed synthesis problem is solvable with finite-state strategies. In particular, we show that decidability is maintained when the information hierarchy may change along the play, or when transient phases without hierarchical information are allowed.
Dietmar Berwanger, Anup Basil Mathew, Marie van de
Added 16 Apr 2016
Updated 16 Apr 2016
Type Journal
Year 2015
Where ATVA
Authors Dietmar Berwanger, Anup Basil Mathew, Marie van den Bogaard
Comments (0)