Coupled Multi-Robot Systems Under Linear Temporal Logic and Signal Temporal Logic Tasks. - Lars Lindemann; Jakub Nowak; Lukas Schönbächler; Meng Guo 002; Jana Tumova; Dimos V. Dimarogonas (IEEE Trans. Control. Syst. Technol., 2021)