Pages that link to "Item:Q3540191"

The following pages link to An Optimal Strategy Improvement Algorithm for Solving Parity and Payoff Games (Q3540191):

Displaying 8 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)
• (Q5079761) (← links)
• Tropical Linear Regression and Mean Payoff Games: Or, How to Measure the Distance to Equilibria (Q6101017) (← links)
• Solving mean-payoff games via quasi dominions (Q6204169) (← links)