The following pages link to (Q4449227):
Displayed 7 items.
- A survey of stochastic \(\omega \)-regular games (Q414898) (← links)
- CEGAR for compositional analysis of qualitative properties in Markov decision processes (Q746785) (← links)
- Solving games via three-valued abstraction refinement (Q979079) (← links)
- Compositional abstraction refinement for control synthesis (Q1690521) (← links)
- Strategy construction for parity games with imperfect information (Q1959483) (← links)
- Strategy Construction for Parity Games with Imperfect Information (Q3541028) (← links)
- Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games (Q5919894) (← links)