Learning Safe Control for Multi-Robot Systems: Methods, Verification, and Open Challenges