Safe Time-Varying Optimization based on Gaussian Processes with Spatio-Temporal Kernel - Li, Jialin; Zagorowska, Marta; De Pasquale, Giulia; Rupenyan, Alisa; Lygeros, John (Advances in Neural Information Processing Systems, 2024)