Weak Subgame Perfect Equilibria and their Application to Quantitative Reachability.