An Efficient Monte Carlo-Based Probabilistic Time-Dependent Routing Calculation Targeting a Server-Side Car Navigation System | IEEE Journals & Magazine | IEEE Xplore