MAPS$^2$: Multi-Robot Anytime Motion Planning under Signal Temporal Logic Specifications

Open in new window