RoboMaze: Swarm Robotics and Coordinated Navigation in Smart City. - John Song; Austin Song; Fumin Zhang 001 (HPCC/DSS/SmartCity/DependSys, 2021)