Safe Search for Stackelberg Equilibria in Extensive-Form Games