Pages that link to "Item:Q3540191"
From MaRDI portal
The following pages link to An Optimal Strategy Improvement Algorithm for Solving Parity and Payoff Games (Q3540191):
Displayed 25 items.
- The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs (Q477199) (← links)
- Verification of reactive systems via instantiation of parameterised Boolean equation systems (Q716322) (← links)
- Hyper temporal networks. A tractable generalization of simple temporal networks and its relation to mean payoff games (Q1706770) (← links)
- Solving parity games via priority promotion (Q1742991) (← links)
- A delayed promotion policy for parity games (Q1784960) (← links)
- Robust worst cases for parity games algorithms (Q2182730) (← links)
- A superpolynomial lower bound for strategy iteration based on snare memorization (Q2446310) (← links)
- Solving Parity Games Using an Automata-Based Algorithm (Q2830208) (← links)
- Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games (Q2961570) (← links)
- Recursive algorithm for parity games requires exponential time (Q3117548) (← links)
- The mu-calculus and Model Checking (Q3176384) (← links)
- Graph Games and Reactive Synthesis (Q3176385) (← links)
- From Parity and Payoff Games to Linear Programming (Q3182965) (← links)
- Symmetric Strategy Improvement (Q3449491) (← links)
- Solving Parity Games in Practice (Q3648698) (← links)
- (Q4553289) (← links)
- Incentive Stackelberg Mean-Payoff Games (Q4571136) (← links)
- (Q5013885) (← links)
- (Q5015265) (← links)
- (Q5015267) (← links)
- (Q5079761) (← links)
- Solving Mean-Payoff Games via Quasi Dominions (Q5164175) (← links)
- (Q5232902) (← links)
- Tropical Linear Regression and Mean Payoff Games: Or, How to Measure the Distance to Equilibria (Q6101017) (← links)
- Justifications and a reconstruction of parity game solving algorithms (Q6175109) (← links)