Pages that link to "Item:Q328165"
From MaRDI portal
The following pages link to Quantitative verification and strategy synthesis for stochastic games (Q328165):
Displaying 4 items.
- Compositional strategy synthesis for stochastic games with multiple objectives (Q1641028) (← links)
- Comparison of algorithms for simple stochastic games (Q2105472) (← links)
- Verification of multiplayer stochastic games via abstract dependency graphs (Q2119119) (← links)
- Value iteration for simple stochastic games: stopping criterion and learning algorithm (Q2672267) (← links)
