Universidad de Zaragoza Repository

@article{Lv:165558,
      author        = "Lv, Peng and Li, Shaoyuan and Mahulea, Cristian and Denis,
                       Bruno and Faraut, Gregory and Yin, Xiang",
      title         = "{Counting Time Temporal Logic for Multi-Robot Path
                       Planning in Finite Horizons}",
      year          = "2025",
}