Towards Gaussian Process-based Optimization with Finite Time Horizon · Study