Peng Lv 0002, Shaoyuan Li, Cristian Mahulea, Bruno Denis, Gregory Faraut, Xiang Yin 0003. Counting Time Temporal Logic for Multi-Robot Path Planning in Finite Horizons. IEEE T. Automation Science and Engineering, 23:3145-3155, 2026. [doi]
Abstract is missing.