Pages that link to "Item:Q355506"
From MaRDI portal
The following pages link to Strategy improvement for concurrent reachability and turn-based stochastic safety games (Q355506):
Displaying 15 items.
- A dynamic game approach to distributionally robust safety specifications for stochastic systems (Q1797093) (← links)
- Logical time control of concurrent DES (Q2058560) (← links)
- Comparison of algorithms for simple stochastic games (Q2105472) (← links)
- A turn-based approach for qualitative time concurrent games (Q2117153) (← links)
- Automatic verification of concurrent stochastic systems (Q2147696) (← links)
- Concurrent reachability games (Q2465027) (← links)
- Value iteration for simple stochastic games: stopping criterion and learning algorithm (Q2672267) (← links)
- Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games (Q2961570) (← links)
- Synthesising Succinct Strategies in Safety and Reachability Games (Q3447698) (← links)
- (Q5021007) (← links)
- Strategy complexity of concurrent safety games (Q5111270) (← links)
- On Values of Games (Q5176377) (← links)
- Automated Verification of Concurrent Stochastic Games (Q6104811) (← links)
- Equilibria-based probabilistic model checking for concurrent stochastic games (Q6535956) (← links)
- Stochastic games with disjunctions of multiple objectives (Q6649516) (← links)
