Finite-state Strategies in Delay Games

Martin Zimmermann
(Saarland University)

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.

In Patricia Bouyer, Andrea Orlandini and Pierluigi San Pietro: Proceedings Eighth International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2017), Roma, Italy, 20-22 September 2017, Electronic Proceedings in Theoretical Computer Science 256, pp. 151–165.
Published: 6th September 2017.

ArXived at: http://dx.doi.org/10.4204/EPTCS.256.11 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org