The complexity of mean payoff games on graphs
Theoretical Computer Science
Parametric temporal logic for “model measuring”
ACM Transactions on Computational Logic (TOCL)
Playing infinite games in finite time
A half-century of automata theory
Automata logics, and infinite games: a guide to current research
Automata logics, and infinite games: a guide to current research
Games where you can play optimally without any memory
CONCUR 2005 - Concurrency Theory
Symbolic synthesis of finite-state controllers for request-response specifications
CIAA'03 Proceedings of the 8th international conference on Implementation and application of automata
Faster algorithms for finitary games
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
CAV'07 Proceedings of the 19th international conference on Computer aided verification
Deterministic priority mean-payoff games as limits of discounted games
ICALP'06 Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part II
MFCS'05 Proceedings of the 30th international conference on Mathematical Foundations of Computer Science
Finitary winning in ω-regular games
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Time-Optimal Winning Strategies for Poset Games
CIAA '09 Proceedings of the 14th International Conference on Implementation and Application of Automata
Equilibria in quantitative reachability games
CSR'10 Proceedings of the 5th international conference on Computer Science: theory and Applications
Subgame perfection for equilibria in quantitative reachability games
FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures
MFCS'12 Proceedings of the 37th international conference on Mathematical Foundations of Computer Science
On Equilibria in Quantitative Games with Reachability/Safety Objectives
Theory of Computing Systems
Hi-index | 0.00 |
We show the solvability of an optimization problem on infinite two-player games. The winning conditions are of the "request-response" format, i.e.conjunctions of conditions of the form "if a state with property Qis visited, then later a state with property Pis visited". We ask for solutions that do not only guarantee the satisfaction of such conditions but also minimal wait times between visits to Q-states and subsequent visits to P-states. We present a natural class of valuations of infinite plays that captures this optimization problem, and with respect to this measure show the existence of an optimal winning strategy (if a winning strategy exists at all) and that it can be realized by a finite-state machine. For the latter claim we use a reduction to the solution of mean-payoff games due to Paterson and Zwick.