Pages that link to "Item:Q2849916"
From MaRDI portal
The following pages link to On Stochastic Games with Multiple Objectives (Q2849916):
Displaying 24 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)
- Multicriteria dynamic games with random horizon (Q2117644) (← 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)
- (Q3833900) (← links)
- (Q4998904) (← links)
- (Q5021007) (← links)
- (Q5090455) (← links)
- (Q5325005) (← links)
- Combinations of Qualitative Winning for Stochastic Parity Games (Q5875367) (← links)
- (Q6134270) (← links)
- Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation (Q6487347) (← links)
- Equilibria-based probabilistic model checking for concurrent stochastic games (Q6535956) (← links)
- Matrix norm based hybrid Shapley and iterative methods for the solution of stochastic matrix games (Q6585476) (← links)
- Interval Markov decision processes with multiple objectives: from robust strategies to Pareto curves (Q6600072) (← links)
- Stochastic games with lexicographic objectives (Q6632196) (← links)
- Different strokes in randomised strategies: revisiting Kuhn's theorem under finite-memory assumptions (Q6647764) (← links)
- Stochastic games with disjunctions of multiple objectives (Q6649516) (← links)
