Speedup Techniques for the Stochastic on-time Arrival Problem · Study