The following pages link to (Q5140263):
Displaying 4 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)
- On relevant equilibria in reachability games (Q5919688) (← links)
- Quantitative reachability Stackelberg-Pareto synthesis is \textsf{NEXPTIME}-complete (Q6623016) (← links)
