Finite-state Strategies in Delay Games

Winter, Sarah and Zimmermann, M ORCID: 0000-0002-8038-2453 (2019) Finite-state Strategies in Delay Games. Information and Computation, 272. p. 104500.

Text finitestatedelay_journal.pdf - Author Accepted Manuscript Download (544kB)

Abstract

What is a finite-state strategy in a delay game? We answer this surprisingly non-trivial question by presenting a very general framework that allows to remove delay: finite-state strategies exist for all winning conditions where the resulting delay-free game admits a finite-state strategy. The framework is applicable to games whose winning condition is recognized by an automaton with an acceptance condition that satisfies 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.

Item Type:	Article
Depositing User:	Symplectic Admin
Date Deposited:	30 Nov 2018 09:51
Last Modified:	19 Jan 2023 01:11
DOI:	10.1016/j.ic.2019.104500
Related URLs:	Author Publisher
URI:	https://livrepository.liverpool.ac.uk/id/eprint/3029223