Sichere Abdeckungssteuerung von Multi-Agenten-Systemen und deren Verifikation in der ROS/Gazebo-Umgebung | Synapse