Pages that link to "Item:Q2248075"
From MaRDI portal
The following pages link to A survey of partial-observation stochastic parity games (Q2248075):
Displaying 7 items.
- Quantitative verification and strategy synthesis for stochastic games (Q328165) (← links)
- CEGAR for compositional analysis of qualitative properties in Markov decision processes (Q746785) (← links)
- Diagnosis and degradation control for probabilistic systems (Q2220350) (← links)
- Preface to the special issue on probabilistic model checking (Q2248070) (← links)
- Graph Games and Reactive Synthesis (Q3176385) (← links)
- Partial-Observation Stochastic Games (Q5169972) (← links)
- Stochastic games with disjunctions of multiple objectives (Q6649516) (← links)
