Planning for Modular Aerial Robotic Tools with Temporal Logic Constraints Tags: Formal MethodsSignal Temporal LogicMixed Integer Linear ProgrammingModular RobotsMulti-Robot Systems Read more about Planning for Modular Aerial Robotic Tools with Temporal Logic Constraints