Pages that link to "Item:Q2343132"
From MaRDI portal
The following pages link to The complexity of multi-mean-payoff and multi-energy games (Q2343132):
Displaying 25 items.
- Quantitative fair simulation games (Q528184) (← links)
- Meet your expectations with guarantees: beyond worst-case synthesis in quantitative games (Q528191) (← links)
- Equilibria for games with combined qualitative and quantitative objectives (Q824280) (← links)
- Compositional strategy synthesis for stochastic games with multiple objectives (Q1641028) (← links)
- Extending finite-memory determinacy to multi-player games (Q1641036) (← links)
- Automated competitive analysis of real-time scheduling with graph games (Q1698779) (← links)
- Quantitative reductions and vertex-ranked infinite games (Q2029603) (← links)
- Simple stochastic games with almost-sure energy-parity objectives are in NP and conp (Q2233425) (← links)
- Hyperplane separation technique for multidimensional mean-payoff games (Q2361356) (← links)
- Average-energy games (Q2413482) (← links)
- Mean-payoff games with \(\omega\)-regular specifications (Q2669180) (← links)
- Reachability games with relaxed energy constraints (Q2672231) (← links)
- Cooperative concurrent games (Q2680769) (← links)
- Robust Equilibria in Mean-Payoff Games (Q2811341) (← links)
- Bounding Average-Energy Games (Q2988367) (← links)
- Deciding Fast Termination for Probabilistic VASS with Nondeterminism (Q3297606) (← links)
- (Q3384874) (← links)
- (Q5009445) (← links)
- The Theory of Universal Graphs for Infinite Duration Games (Q5043588) (← links)
- (Q5089289) (← links)
- Extending Finite-Memory Determinacy by Boolean Combination of Winning Conditions (Q5090979) (← links)
- (Q5875382) (← links)
- (Q5875383) (← links)
- (Q6134270) (← links)
- Subgame-perfect Equilibria in Mean-payoff Games (journal version) (Q6178672) (← links)
