Reactive and human-in-the-loop planning and control of multi-robot systems under LTL specifications in dynamic environments