Weak Subgame Perfect Equilibria and their Application to Quantitative Reachability

Thomas Brihaye, Véronique Bruyère, Noémie Meunier +1

We study $n$-player turn-based games played on a finite directed graph. For each play, the players have to pay a cost that they want to minimize. Instead of the well-known notion o…