The following pages link to GIST (Q21855):
Displaying 9 items.
- Quantitative verification and strategy synthesis for stochastic games (Q328165) (← links)
- Comparison of algorithms for simple stochastic games (Q2105472) (← links)
- Automatic verification of concurrent stochastic systems (Q2147696) (← links)
- Automatic verification of competitive stochastic systems (Q2248068) (← links)
- Value iteration for simple stochastic games: stopping criterion and learning algorithm (Q2672267) (← links)
- Automatic Verification of Competitive Stochastic Systems (Q2894279) (← links)
- Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games (Q2961570) (← links)
- (Q5021007) (← links)
- PRISM-games: A Model Checker for Stochastic Multi-Player Games (Q5326324) (← links)
