Learning Rigidity-based Flocking Control using Gaussian Processes with Probabilistic Stability Guarantees | Publicación