5 citations · 7 across the 6 of their papers we have counts for
6 papers · 1 filter
Observation and Distinction. Representing Information in Infinite Games
Dietmar Berwanger, Laurent Doyen
We compare two approaches for modelling imperfect information in infinite games by using finite-state automata. The first, more standard approach views information as the result of…
Deviator Detection under Imperfect Monitoring
Dietmar Berwanger, R. Ramanujam
Grim-trigger strategies are a fundamental mechanism for sustaining equilibria in iterated games: the players cooperate along an agreed path, and as soon as one player deviates, the…
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…
Infinite games with finite knowledge gaps
Dietmar Berwanger, Anup Basil Mathew
Infinite games where several players seek to coordinate under imperfect information are deemed to be undecidable, unless the information is hierarchically ordered among the players…
Alpaga: A Tool for Solving Parity Games with Imperfect Information
Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf +2
Alpaga is a solver for two-player parity games with imperfect information. Given the description of a game, it determines whether the first player can ensure to win and, if so, it…