Controller Synthesis for Multi-Agent Systems with Intermittent Communication and Metric Temporal Logic Specifications

This dataset contains the synthetic data for motion planning of a relay-explorer multiagent system in three different scenarios. In this multi-agent system, we have one relay agent and three explorers where the relay agent switches between the explorers to provide them with intermittent state feedback while the relay agent carries out practical tasks such as reaching a charging station. For each scenario, we provide the data for the control effort of the relay agent, the estimated difference between the actual position of an explorer and its estimated position, the estimated difference between the estimated position of an explorer and the target position, and the path that the relay agent and the explorers take until all the explorers reach the target.