Automated Formation Control Synthesis from Temporal Logic Specifications

Shuhao Qi, Zengjie Zhang, Sofie Haesaert +1

In many practical scenarios, multi-robot systems are envisioned to support humans in executing complicated tasks within structured environments, such as search-and-rescue tasks. We…