On Subgame Perfect Equilibria in Turn-Based Reachability Timed Games

Thomas Brihaye, Aline Goeminne

We study multiplayer turn-based timed games with reachability objectives. In particular, we are interested in the notion of subgame perfect equilibrium (SPE). We prove that decidin…