Speedup techniques for the stochastic on-time arrival problemSamitha SamaranayakeSebastien Blandinet al.2012ATMOS 2012