Optimizing pit stop strategies in Formula 1 with dynamic programming and game theory. - Felipe Aguad; Charles Thraves (Eur. J. Oper. Res., 2024)