Pages that link to "Item:Q5901535"
From MaRDI portal
The following pages link to Recursive Concurrent Stochastic Games (Q5901535):
Displaying 9 items.
- Quantitative verification and strategy synthesis for stochastic games (Q328165) (← links)
- Multi-player equilibria verification for concurrent stochastic games (Q2056983) (← links)
- The recursive core for non-superadditive games (Q2344928) (← links)
- Qualitative analysis of concurrent mean-payoff games (Q2346403) (← links)
- Recursive stochastic games with positive rewards (Q2422034) (← links)
- Recursive Markov decision processes and recursive stochastic games (Q2796398) (← links)
- On Probabilistic Parallel Programs with Process Creation and Synchronisation (Q3000662) (← links)
- (Q5091277) (← links)
- Automata, Languages and Programming (Q5716837) (← links)