Church Synthesis Problem for Noisy Input
We study two variants of infinite games with imperfect information. In the first variant, in each round player-1 may decide to hide his move from player-2. This captures situations where the input signal is subject to fluctuations (noises), and every error in the input signal can be detected by the controller. In the second variant, all of player-1 moves are visible to player-2; however, after the game ends, player-1 may change some of his moves. This captures situations where the input signal is subject to fluctuations; however, the controller cannot detect errors in the input signal.
We consider several cases, according to the amount of errors allowed in the input signal: a fixed number of errors, finitely many errors and the case where the rate of errors is bounded by a threshold. For each of these cases we consider games with regular and mean-payoff winning conditions. We investigate the decidability of these games.
There is a natural reduction for some of these games to (perfect information) multidimensional mean-payoff games recently considered in . However, the decidability of the winner of multidimensional mean-payoff games was stated as an open question. We prove its decidability and provide tight complexity bounds.
- 5.Chatterjee, K., Henzinger, T.A., Jurdzinski, M.: Mean payoff parity games. In: Proc. of LICS, pp. 178–187. IEEE Computer Society, Los Alamitos (2005)Google Scholar
- 7.Chatterjee, K., Doyen, L., Henzinger, T.A., Raskin, J.F.: Generalized mean payoff and Energy Games. To appear in Proc. of FSTTCS (2010)Google Scholar
- 11.Ehrenfeucht, A., Mycielski, J.: International journal of game theory. Positional Strategies for Mean-Payoff Games 8, 109–113 (1979)Google Scholar
- 14.Kosaraju, S.R., Sullivan, G.F.: Detecting cycles in dynamic graphs in polynomial time. In: Proceedings of the Twentieth Annual ACM Symposium on Theory of Computing, pp. 398–406 (1988)Google Scholar
- 16.Thomas, W.: Automata on infinite objects. In: Handbook of Theoretical Computer Science, vol. B, pp. 133–191. Elsevier Science Pub., Amsterdam (1990)Google Scholar