The following pages link to (Q4428307):
Displayed 9 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)
- Model checking games for the quantitative \(\mu \)-calculus (Q1959394) (← links)
- Model checking discounted temporal properties (Q2575738) (← links)
- Quantitative \(\mu\)-calculus and CTL defined over constraint semirings (Q2576952) (← links)
- Nearest Fixed Points and Concurrent Priority Games (Q2947896) (← links)
- Preface (Q5970649) (← links)
- Alternating good-for-MDPs automata (Q6160921) (← links)