A Study on Solutions to Finite-Time Optimal Control Problems by Numerical Gaussian Processes.