@misc{indiciaefb5270ce3db4, title = {MAPS\$\textasciicircum{}2\$: Multi-Robot Autonomous Motion Planning under Signal Temporal Logic Specifications}, author = {Mayank Sewlia and Christos K. Verginis and Dimos V. Dimarogonas}, year = {2025}, doi = {10.1177/02783649251393343}, url = {https://arxiv.org/abs/2309.05632}, note = {Source identifier: 2309.05632} }