Finite-state Strategies in Delay Games

Zimmermann, Martin ORCID: 0000-0002-8038-2453 (2017) Finite-state Strategies in Delay Games. .

Text
fsd.pdf - Published version
Download (207kB) | Preview

Official URL: http://dx.doi.org/10.4204/eptcs.256.11

Abstract

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.

Item Type:	Conference or Workshop Item (Unspecified)
Depositing User:	Symplectic Admin
Date Deposited:	15 Jul 2019 13:04
Last Modified:	24 Jan 2023 20:30
DOI:	10.4204/EPTCS.256.11
Related URLs:	Author Publisher
URI:	https://livrepository.liverpool.ac.uk/id/eprint/3049695