Pages that link to "Item:Q1351468"
From MaRDI portal
The following pages link to The complexity of mean payoff games on graphs (Q1351468):
Displaying 50 items.
- Recursive Markov decision processes and recursive stochastic games (Q2796398) (← links)
- Tropical polyhedra are equivalent to mean payoff games (Q2882394) (← links)
- Synthesizing Efficient Controllers (Q2891434) (← links)
- Using strategy improvement to stay alive (Q2909219) (← links)
- Discounting and averaging in games across time scales (Q2909220) (← links)
- Tropical Fourier-Motzkin elimination, with an application to real-time verification (Q2923336) (← links)
- Parameterized Algorithms for Parity Games (Q2946404) (← links)
- Temporal Specifications with Accumulative Values (Q2946736) (← links)
- Solvency Markov Decision Processes with Interest (Q2963937) (← links)
- Bounding Average-Energy Games (Q2988367) (← links)
- QUASY: Quantitative Synthesis Tool (Q3000655) (← links)
- Stochastic Mean Payoff Games: Smoothed Analysis and Approximation Schemes (Q3012799) (← links)
- The Cost of Traveling between Languages (Q3012923) (← links)
- On Memoryless Quantitative Objectives (Q3088278) (← links)
- The Complexity of Nash Equilibria in Limit-Average Games (Q3090850) (← links)
- Energy Games in Multiweighted Automata (Q3105747) (← links)
- Minimum Attention Controller Synthesis for Omega-Regular Objectives (Q3172849) (← links)
- Graph Games and Reactive Synthesis (Q3176385) (← links)
- From Parity and Payoff Games to Linear Programming (Q3182965) (← links)
- Measuring Permissivity in Finite Games (Q3184674) (← links)
- Finite-range topical functions and uniformly topical functions (Q3377982) (← links)
- (Q3384167) (← links)
- (Q3384874) (← links)
- Discrete control and algorithms for solving antagonistic dynamic games on networks (Q3391895) (← links)
- Nash Equilibria Conditions for Cyclic Games with p Players (Q3439488) (← links)
- Symmetric Strategy Improvement (Q3449491) (← links)
- Tropicalizing the Simplex Algorithm (Q3453613) (← links)
- Optimal strategy synthesis for request-response games (Q3465629) (← links)
- A Simple P-Matrix Linear Complementarity Problem for Discounted Games (Q3507443) (← links)
- Value Iteration (Q3512436) (← links)
- Quantitative Simulation Games (Q3587251) (← links)
- On Omega-Languages Defined by Mean-Payoff Conditions (Q3617739) (← links)
- Time-Optimal Winning Strategies for Poset Games (Q3637359) (← links)
- Dynamic Observers for the Synthesis of Opaque Systems (Q3648711) (← links)
- (Q4553289) (← links)
- Incentive Stackelberg Mean-Payoff Games (Q4571136) (← links)
- On Solving Mean Payoff Games Using Pivoting Algorithms (Q4689394) (← links)
- Permissive strategies: from parity games to safety games (Q4800258) (← links)
- Constraint Satisfaction Problems over Numeric Domains (Q4993596) (← links)
- (Q5009445) (← links)
- (Q5013874) (← links)
- (Q5013875) (← links)
- (Q5015267) (← links)
- (Q5020520) (← links)
- (Q5020998) (← links)
- (Q5021006) (← links)
- (Q5021007) (← links)
- The Theory of Universal Graphs for Infinite Duration Games (Q5043588) (← links)
- (Q5079761) (← links)
- Value Iteration Using Universal Graphs and the Complexity of Mean Payoff Games (Q5089201) (← links)
