GP4: Gaussian Process Proactive Path Planning for the Stochastic on Time Arrival Problem | IEEE Journals & Magazine | IEEE Xplore