Comparison of real-time travel time estimation using two distinct approaches: Universal kriging and mathematical programming | IEEE Conference Publication | IEEE Xplore