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