The following pages link to GAVS (Q13084):
Displaying 8 items.
- Quantitative verification and strategy synthesis for stochastic games (Q328165) (← links)
- Down the Borel hierarchy: solving Muller games via safety games (Q477197) (← links)
- Comparison of algorithms for simple stochastic games (Q2105472) (← links)
- Automatic verification of concurrent stochastic systems (Q2147696) (← links)
- Formulas for computing axode normal and curvatures with derivation based on fundamental concepts of engineering differential geometry (Q2486593) (← links)
- Value iteration for simple stochastic games: stopping criterion and learning algorithm (Q2672267) (← links)
- (Q5021007) (← links)
- PRISM-games: A Model Checker for Stochastic Multi-Player Games (Q5326324) (← links)
