research
∙
07/12/2023
Reactive and human-in-the-loop planning and control of multi-robot systems under LTL specifications in dynamic environments
This paper investigates the planning and control problems for multi-robo...
research
∙
03/16/2021
Distributed motion coordination for multi-robot systems under LTL specifications
This paper investigates the online motion coordination problem for a gro...
research
∙
04/22/2020