Safe Coverage Control of Multi-Agent Systems and Its Verification in ROS/Gazebo Environment | Synapse