Learning Terrain Dynamics: A Gaussian Process Modeling and Optimal Control Adaptation Framework Applied to Robotic Jumping | IEEE Journals & Magazine | IEEE Xplore