Tianyu Zhou, Zehui Lu, Shaoshuai Mou: Multi-Robot Formation Control with Human-on-the-Loop. ICPS 2024: 1-6