TY - RPRT TI - Reactive and human-in-the-loop planning and control of multi-robot systems under LTL specifications in dynamic environments AU - Pian Yu AU - Gianmarco Fedeli AU - Dimos V. Dimarogonas PY - 2023 UR - https://arxiv.org/abs/2307.06000 ID - 2307.06000 ER -