A framework for multi-robot motion planning from temporal logic specifications
scientific article; zbMATH DE number 6067198
scientific article