Pages that link to "Item:Q2842129"
From MaRDI portal
The following pages link to Hyperplane Separation Technique for Multidimensional Mean-Payoff Games (Q2842129):
Displaying 7 items.
- Quantitative fair simulation games (Q528184) (← links)
- The complexity of multi-mean-payoff and multi-energy games (Q2343132) (← links)
- Hyperplane separation technique for multidimensional mean-payoff games (Q2361356) (← links)
- Graph Games and Reactive Synthesis (Q3176385) (← links)
- Deciding Fast Termination for Probabilistic VASS with Nondeterminism (Q3297606) (← links)
- Fixed-Dimensional Energy Games are in Pseudo-Polynomial Time (Q3449481) (← links)
- Deciding Parity Games in Quasi-polynomial Time (Q5073521) (← links)
