Simultaneous Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications

Open in new window