The following pages link to (Q4038703):
Displaying 13 items.
- Compositional probabilistic verification through multi-objective model checking (Q386007) (← links)
- The complexity of stochastic Müller games (Q418128) (← links)
- Spanning the spectrum from safety to liveness (Q1629750) (← links)
- Quantitative solution of omega-regular games (Q1887716) (← links)
- Optimal schedulers vs optimal bases: an approach for efficient exact solving of Markov decision processes (Q2453111) (← links)
- Synthesizing Efficient Controllers (Q2891434) (← links)
- Randomization in Automata on Infinite Trees (Q2946733) (← links)
- Converging from branching to linear metrics on Markov chains (Q4559599) (← links)
- Temporal logics for the specification of performance and reliability (Q5047168) (← links)
- Model Checking Linear-Time Properties of Probabilistic Systems (Q5072555) (← links)
- Stochastic Müller Games are PSPACE-Complete (Q5458855) (← links)
- Symbolic control for stochastic systems via finite parity games (Q6122792) (← links)
- Submixing and shift-invariant stochastic games (Q6183353) (← links)
