The following pages link to (Q5015269):
Displaying 5 items.
- Macro meets micro: stochastic (Calvo) revisions in games (Q1674993) (← links)
- Automatic verification of concurrent stochastic systems (Q2147696) (← links)
- The worst-case payoff in games with stochastic revision opportunities (Q2241208) (← links)
- A Note on Game Theory and Verification (Q3297580) (← links)
- Equilibria-based probabilistic model checking for concurrent stochastic games (Q6535956) (← links)