Parity and Streett Games with Costs



Fijalkow, Nathanael and Zimmermann, Martin ORCID: 0000-0002-8038-2453
(2014) Parity and Streett Games with Costs. Logical Methods in Computer Science, 10 (2).

[img] Text
fz.pdf - Published version

Download (343kB) | Preview

Abstract

We consider two-player games played on finite graphs equipped with costs on edges and introduce two winning conditions, cost-parity and cost-Streett, which require bounds on the cost between requests and their responses. Both conditions generalize the corresponding classical omega-regular conditions and the corresponding finitary conditions. For parity games with costs we show that the first player has positional winning strategies and that determining the winner lies in NP and coNP. For Streett games with costs we show that the first player has finite-state winning strategies and that determining the winner is EXPTIME-complete. The second player might need infinite memory in both games. Both types of games with costs can be solved by solving linearly many instances of their classical variants.

Item Type: Article
Additional Information: A preliminary version of this work appeared in FSTTCS 2012 under the name "Cost-parity and Cost-Streett Games". The research leading to these results has received funding from the European Union's Seventh Framework Programme (FP7/2007-2013) under grant agreements 259454 (GALE) and 239850 (SOSNA)
Uncontrolled Keywords: Parity Games, Streett Games, Costs, Half-positional Determinacy
Depositing User: Symplectic Admin
Date Deposited: 15 Jul 2019 08:07
Last Modified: 19 Jan 2023 00:37
DOI: 10.2168/LMCS-10(2:14)2014
Related URLs:
URI: https://livrepository.liverpool.ac.uk/id/eprint/3049696