Pruning Algorithms to Determine Reliable Paths on Networks with Random and Correlated Link Travel Times · Study