Pages that link to "Item:Q5363044"
From MaRDI portal
The following pages link to The Value 1 Problem Under Finite-memory Strategies for Concurrent Mean-payoff Games (Q5363044):
Displaying 4 items.
- On concurrent games with payoff (Q265795) (← links)
- CEGAR for compositional analysis of qualitative properties in Markov decision processes (Q746785) (← links)
- Qualitative analysis of concurrent mean-payoff games (Q2346403) (← links)
- Strategy complexity of concurrent safety games (Q5111270) (← links)