Jialin Li, Marta Zagórowska, Giulia De Pasquale, Alisa Rupenyan, John Lygeros: Safe Time-Varying Optimization based on Gaussian Processes with Spatio-Temporal Kernel. NeurIPS 2024