Pages that link to "Item:Q2346403"
From MaRDI portal
The following pages link to Qualitative analysis of concurrent mean-payoff games (Q2346403):
Displaying 9 items.
- On concurrent games with payoff (Q265795) (← links)
- CEGAR for compositional analysis of qualitative properties in Markov decision processes (Q746785) (← links)
- Quantitative solution of omega-regular games (Q1887716) (← links)
- Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations (Q2103672) (← links)
- A turn-based approach for qualitative time concurrent games (Q2117153) (← links)
- Concurrent games with tail objectives (Q2464942) (← links)
- Concurrent reachability games (Q2465027) (← links)
- The Value 1 Problem Under Finite-memory Strategies for Concurrent Mean-payoff Games (Q5363044) (← links)
- Strategy synthesis for zero-sum neuro-symbolic concurrent stochastic games (Q6614884) (← links)