Multi-Agent Collaboration for PrSTL Specifications With Temporal Collective Counting Operators. - Yicheng Quan; Yan Yang; Zhijie Liu 001; Zhongjiao Shi (IEEE Robotics Autom. Lett., 2026)