Reactive and Human-in-the-Loop Planning and Control of Multi-Robot Systems under LTL Specifications in Dynamic Environments. - Pian Yu; Gianmarco Fedeli; Dimos V. Dimarogonas (CoDIT, 2023)