Pages that link to "Item:Q1887716"
From MaRDI portal
The following pages link to Quantitative solution of omega-regular games (Q1887716):
Displaying 16 items.
- Expected reachability-time games (Q278757) (← links)
- 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)
- Automatic verification of concurrent stochastic systems (Q2147696) (← links)
- Concurrent reachability games (Q2465027) (← links)
- Recursive Markov Decision Processes and Recursive Stochastic Games (Q2796398) (← links)
- An Algorithm for Probabilistic Alternating Simulation (Q2891387) (← links)
- Nearest Fixed Points and Concurrent Priority Games (Q2947896) (← links)
- Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games (Q2961570) (← links)
- The mu-calculus and Model Checking (Q3176384) (← links)
- Symbolic Model Checking in Non-Boolean Domains (Q3176389) (← links)
- Value Iteration (Q3512436) (← links)
- Model Checking Linear-Time Properties of Probabilistic Systems (Q5072555) (← links)
- On Values of Games (Q5176377) (← links)
- Equilibria-based probabilistic model checking for concurrent stochastic games (Q6535956) (← links)
