I. INTRODUCTION
Modern robotics applications require multiple heterogeneous robots to safely execute complex tasks in obstacle-cluttered environments and over long horizons. The robots must be able to reason about high-level tasks and derive and track successfully the respective low-level paths. The complexity of solving such high-dimensional continuous problems explodes with more robots and goals. At the same time, robots evolve subject to dynamics that often suffer from uncertainties and unknown exogenous disturbances that need to be addressed by the underlying algorithms. Task and Motion Planning (TAMP) [1] has become a popular paradigm as it interleaves both high-level reasoning and low-level motion planning to find feasible paths that reach the high-level goal efficiently, while feedback control is often used to accommodate the robot dynamics [2], [3].