The following pages link to (Q5140263):
Displaying 7 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)
- Subgame perfect implementation: a full characterization (Q2370493) (← links)
- On (Subgame Perfect) Secure Equilibrium in Quantitative Reachability Games (Q4913770) (← links)
- (Q5351977) (← links)
- On relevant equilibria in reachability games (Q5919688) (← links)
- Quantitative reachability Stackelberg-Pareto synthesis is \textsf{NEXPTIME}-complete (Q6623016) (← links)