A Receding Horizon Approach for Simultaneous Active Learning and Control using Gaussian Processes | IEEE Conference Publication | IEEE Xplore