HORUS: A Mixed Reality Interface for Managing Teams of Mobile Robots. - Omotoye Shamsudeen Adekoya; Antonio Sgorbissa; Carmine Tommaso Recchiuto (CoRR, 2025)