5 citations · 7 across the 6 of their papers we have counts for
3 papers · 1 filter
Games with Delays. A Frankenstein Approach
Dietmar Berwanger, Marie van den Bogaard
We investigate infinite games on finite graphs where the information flow is perturbed by nondeterministic signalling delays. It is known that such perturbations make synthesis pro…
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…
Consensus Game Acceptors and Iterated Transductions
Dietmar Berwanger, Marie van den Bogaard
We study a game for recognising formal languages, in which two players with imperfect information need to coordinate on a common decision, given private input words correlated by a…