Playing pushdown parity games in a hurry

Fridman, W and Zimmermann, M ORCID: 0000-0002-8038-2453 (2012) Playing pushdown parity games in a hurry .

Text frz.pdf - Published version Download (153kB) | Preview

Abstract

We continue the investigation of finite-duration variants of infinite-duration games by extending known results for games played on finite graphs to those played on infinite ones. In particular, we establish an equivalence between pushdown parity games and a finite-duration variant. This allows us to determine the winner of a pushdown parity game by solving a reachability game on a finite tree.

Item Type:	Conference Item (Unspecified)
Depositing User:	Symplectic Admin
Date Deposited:	15 Jul 2019 12:55
Last Modified:	24 Jan 2026 01:48
DOI:	10.4204/EPTCS.96.14
Related Websites:	Publisher
URI:	https://livrepository.liverpool.ac.uk/id/eprint/3049689
Disclaimer:	The University of Liverpool is not responsible for content contained on other websites from links within repository metadata. Please contact us if you notice anything that appears incorrect or inappropriate.