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

This paper investigates the planning and control problems for multi-robot systems under linear temporal logic (LTL) specifications. In contrast to most of existing literature, whic…