2 results
Nathanaël Fijalkow ; Martin Zimmermann.
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 […]
Published on June 26, 2014
Sven Schewe ; Alexander Weinert ; Martin Zimmermann.
Quantitative extensions of parity games have recently attracted significant interest. These extensions include parity games with energy and payoff conditions as well as finitary parity games and their generalization to parity games with costs. Finitary parity games enjoy a special status among these […]
Published on August 23, 2019