Tobias M. Wolff, Victor G. Lopez, Matthias Albrecht Müller: Robust Stability of Gaussian Process Based Moving Horizon Estimation. CDC 2023: 4087-4093