Pages that link to "Item:Q2346403"
From MaRDI portal
The following pages link to Qualitative analysis of concurrent mean-payoff games (Q2346403):
Displaying 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)
- Strategy synthesis for zero-sum neuro-symbolic concurrent stochastic games (Q6614884) (← links)
