TY  - RPRT
TI  - MAPS$^2$: Multi-Robot Autonomous Motion Planning under Signal Temporal Logic Specifications
AU  - Mayank Sewlia
AU  - Christos K. Verginis
AU  - Dimos V. Dimarogonas
PY  - 2025
DO  - 10.1177/02783649251393343
UR  - https://arxiv.org/abs/2309.05632
ID  - 2309.05632
ER  -