Search

• < Previous
• 1
• Next >

Parity Games with Weights

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&nbsp;[&hellip;]