Text this: Hierarchical multi-robot strategies synthesis and optimization under individual and collaborative temporal logic specifications