Pages that link to "Item:Q5901535"

The following pages link to Recursive Concurrent Stochastic Games (Q5901535):

Displaying 5 items.

• Quantitative verification and strategy synthesis for stochastic games (Q328165) (← links)
• Qualitative analysis of concurrent mean-payoff games (Q2346403) (← links)
• Recursive Markov Decision Processes and Recursive Stochastic Games (Q2796398) (← links)
• On Probabilistic Parallel Programs with Process Creation and Synchronisation (Q3000662) (← links)
• (Q5091277) (← links)