Part 1: Coupled Multi-Robot Systems under Linear Temporal Logic and Signal Temporal Logic Tasks