2026
Multi-Agent Collaboration for PrSTL Specifications With Temporal Collective Counting Operators
RA-L 2026
We address the collaborative path planning problem for multi-agent systems with heterogeneous capabilities, subject to uncertainty and operating under complex task specifications. Conventional Probabilistic Signal Temporal Logic (PrSTL) frameworks exhibit significant limitations in describing multi-