A Benders decomposition approach for the robust shortest path problem with interval data