Hierarchical Information and the Synthesis of Distributed Strategies

Dietmar Berwanger, Anup Basil Mathew, Marie van den Bogaard

Infinite games with imperfect information are known to be undecidable unless the information flow is severely restricted. One fundamental decidable case occurs when there is a tota…