The following pages link to Stochastic game logic (Q715046):
Displaying 4 items.
- A stochastic interpretation of game logic (Q516033) (← links)
- Model checking hyperproperties for Markov decision processes (Q2105474) (← links)
- Memoryless strategies for stochastic games via domain theory (Q2848433) (← links)
- Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation (Q6487347) (← links)