Pages that link to "Item:Q2056983"
From MaRDI portal
The following pages link to Multi-player equilibria verification for concurrent stochastic games (Q2056983):
Displaying 8 items.
- Verification of multiplayer stochastic games via abstract dependency graphs (Q2119119) (← links)
- Automatic verification of concurrent stochastic systems (Q2147696) (← links)
- A Tool for the Automated Verification of Nash Equilibria in Concurrent Games (Q2787450) (← links)
- Recursive Concurrent Stochastic Games (Q5901535) (← links)
- Reasoning about causality in games (Q6103660) (← links)
- Automated Verification of Concurrent Stochastic Games (Q6104811) (← links)
- Correlated equilibria and fairness in concurrent stochastic games (Q6535606) (← links)
- Stochastic games with disjunctions of multiple objectives (Q6649516) (← links)