High-gain Output Feedback Control Design for a Class of Uncertain Nonlinear Systems Using Gaussian Processes * | IEEE Conference Publication | IEEE Xplore