Pages that link to "Item:Q2346403"
From MaRDI portal
The following pages link to Qualitative analysis of concurrent mean-payoff games (Q2346403):
Displayed 3 items.
- CEGAR for compositional analysis of qualitative properties in Markov decision processes (Q746785) (← links)
- Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations (Q2103672) (← links)
- Subgame optimal strategies in finite concurrent games with prefix-independent objectives (Q6091217) (← links)