Finite-state Strategies in Delay Games
نویسنده
چکیده
What is a finite-state strategy in a delay game? We answer this surprisingly non-trivial question and present a very general framework for computing such strategies: they exist for all winning conditions that are recognized by automata with acceptance conditions that satisfy a certain aggregation property. Our framework also yields upper bounds on the complexity of determining the winner of such delay games and upper bounds on the necessary lookahead to win the game. In particular, we cover all previous results of that kind as special cases of our uniform approach.
منابع مشابه
Timed Parity Games: Complexity and Robustness
We consider two-player games played in real time on game structures with clocks and parity objectives. The games are concurrent in that at each turn, both players independently propose a time delay and an action, and the action with the shorter delay is chosen. To prevent a player from winning by blocking time, we restrict each player to strategies that ensure that the player cannot be responsi...
متن کاملMemory and delay in regular infinite games
Infinite two-player games constitute a powerful and flexible framework for the design and verification of reactive systems. It is well-known that, for example, the construction of a controller acting indefinitely within its environment can be reduced to the computation of a winning strategy in an infinite game (Pnueli and Rosner, 1989). For the class of regular games, Büchi and Landweber (1969)...
متن کاملFinite time stabilization of time-delay nonlinear systems with uncertainty and time-varying delay
In this paper, the problem of finite-time stability and finite-time stabilization for a specific class of dynamical systems with nonlinear functions in the presence time-varying delay and norm-bounded uncertainty terms is investigated. Nonlinear functions are considered to satisfy the Lipchitz conditions. At first, sufficient conditions to guarantee the finite-time stability for time-delay nonl...
متن کاملSimplicity of beliefs and delay tactics in a concession game
I explore the idea of simplicity as a belief-selection criterion in games. A pair of strategies in finite-automata representation (s1, s2) is a “Simple Nash Equilibrium” (SINE) if: (1) sj is a best-reply to si ; (2) every automaton for player j, which generates the same path as sj (given si), has at least as many states as sj . I apply SINE to a bilateral concession game and show that it captur...
متن کاملBounded Rationality in Concurrent Parity Games
We consider 2-player games played on a finite state space for an infinite number of rounds. The games are concurrent: in each round, the two players (player 1 and player 2) choose their moves independently and simultaneously; the current state and the two moves determine the successor state. We study concurrent games with ω-regular winning conditions specified as parity objectives. We consider ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2017