Pages that link to "Item:Q5111270"
From MaRDI portal
The following pages link to Strategy complexity of concurrent safety games (Q5111270):
Displaying 9 items.
- Strategy improvement for concurrent reachability and turn-based stochastic safety games (Q355506) (← links)
- How to win first-order safety games (Q784157) (← links)
- Comparison of algorithms for simple stochastic games (Q2105472) (← links)
- Concurrent reachability games (Q2465027) (← links)
- Synthesising Succinct Strategies in Safety and Reachability Games (Q3447698) (← links)
- (Q4986513) (← links)
- (Q5021007) (← links)
- (Q5091277) (← links)
- On the Complexity of Reachability in Parametric Markov Decision Processes (Q5875375) (← links)