The following pages link to (Q4972730):
Displaying 4 items.
- Equilibria for games with combined qualitative and quantitative objectives (Q824280) (← links)
- Dependences in strategy logic (Q1987514) (← links)
- Automated temporal equilibrium analysis: verification and synthesis of multi-player games (Q2211871) (← links)
- Different strokes in randomised strategies: revisiting Kuhn's theorem under finite-memory assumptions (Q6647764) (← links)
