Continuous-time Gaussian Process Trajectory Generation for Multi-robot Formation via Probabilistic Inference | IEEE Conference Publication | IEEE Xplore