2 results
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
Alexander Weinert ; Martin Zimmermann.
The winning condition of a parity game with costs requires an arbitrary, but fixed bound on the cost incurred between occurrences of odd colors and the next occurrence of a larger even one. Such games quantitatively extend parity games while retaining most of their attractive properties, i.e, […]
Published on September 19, 2017