Recursive Gaussian Process-Based Safety Assurance Exploration Control in Unknown Environments. - Kento Kanou; Tatsuya Ibuki (IEEE Control. Syst. Lett., 2025)