The following pages link to (Q3384875):
Displaying 6 items.
- On subgame perfect equilibria in turn-based reachability timed games (Q1996016) (← links)
- A game-theoretic approach for the synthesis of complex systems (Q2104251) (← links)
- Constrained existence of weak subgame perfect equilibria in multiplayer Büchi games (Q2203592) (← links)
- A Note on Game Theory and Verification (Q3297580) (← links)
- (Q5875374) (← links)
- On relevant equilibria in reachability games (Q5919688) (← links)
