Pages that link to "Item:Q355506"

The following pages link to Strategy improvement for concurrent reachability and turn-based stochastic safety games (Q355506):

Displaying 9 items.

• Logical time control of concurrent DES (Q2058560) (← links)
• Comparison of algorithms for simple stochastic games (Q2105472) (← links)
• A turn-based approach for qualitative time concurrent games (Q2117153) (← links)
• Automatic verification of concurrent stochastic systems (Q2147696) (← links)
• Concurrent reachability games (Q2465027) (← links)
• Value iteration for simple stochastic games: stopping criterion and learning algorithm (Q2672267) (← links)
• Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games (Q2961570) (← links)
• (Q5021007) (← links)
• On Values of Games (Q5176377) (← links)