Pages that link to "Item:Q5308471"
From MaRDI portal
The following pages link to Foundations of Software Science and Computation Structures (Q5308471):
Displaying 8 items.
- A survey of stochastic \(\omega \)-regular games (Q414898) (← links)
- The complexity of stochastic Müller games (Q418128) (← links)
- Reduction of stochastic parity to stochastic mean-payoff games (Q963321) (← links)
- Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games (Q2961570) (← links)
- Stochastic Games with Finitary Objectives (Q3182912) (← links)
- (Q5089306) (← links)
- Symbolic control for stochastic systems via finite parity games (Q6122792) (← links)
- Submixing and shift-invariant stochastic games (Q6183353) (← links)
