Counting Time Temporal Logic for Multi-Robot Path Planning in Finite Horizons | Publicación