Learning Rigidity-based Flocking Control using Gaussian Processes with Probabilistic Stability Guarantees | IEEE Conference Publication | IEEE Xplore