Search

• < Previous
• 1
• Next >

Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs

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