A.  Mannucci, Pallottino, L., and Pecora, F., ?Provably Safe Multi-Robot Coordination With Unreliable Communication?, IEEE Robotics and Automation Letters, vol. 4, pp. 3232-3239, 2019.