Pages that link to "Item:Q2849916"
From MaRDI portal
The following pages link to On Stochastic Games with Multiple Objectives (Q2849916):
Displaying 14 items.
- Quantitative verification and strategy synthesis for stochastic games (Q328165) (← links)
- Compositional strategy synthesis for stochastic games with multiple objectives (Q1641028) (← links)
- Comparison of algorithms for simple stochastic games (Q2105472) (← links)
- An STL-based formulation of resilience in cyber-physical systems (Q2112110) (← links)
- Verification of multiplayer stochastic games via abstract dependency graphs (Q2119119) (← links)
- Automatic verification of concurrent stochastic systems (Q2147696) (← links)
- Markov automata with multiple objectives (Q2151241) (← links)
- Multi-cost bounded tradeoff analysis in MDP (Q2208304) (← links)
- Graph Games and Reactive Synthesis (Q3176385) (← links)
- (Q4998904) (← links)
- (Q5021007) (← links)
- (Q5090455) (← links)
- Combinations of Qualitative Winning for Stochastic Parity Games (Q5875367) (← links)
- (Q6134270) (← links)
