Pages that link to "Item:Q1887716"
From MaRDI portal
The following pages link to Quantitative solution of omega-regular games (Q1887716):
Displayed 6 items.
- Strategy improvement for concurrent reachability and turn-based stochastic safety games (Q355506) (← links)
- Qualitative reachability in stochastic BPA games (Q719240) (← links)
- Model checking games for the quantitative \(\mu \)-calculus (Q1959394) (← links)
- Concurrent reachability games (Q2465027) (← links)
- An Algorithm for Probabilistic Alternating Simulation (Q2891387) (← links)
- Value Iteration (Q3512436) (← links)