Time minimization and online synchronization for multi-agent systems under collaborative temporal logic tasks
scientific article; zbMATH DE number 7847063