Before revision:  We reformulate the linear chance constraints into equivalent deterministic constraints on mean and covariance. Subsequently, the deterministic constraints are introduced in the MPC framework to compute a local collision-free trajectory for each quadrotor.
After revision:  We reformulate the linear chance constraints into equivalent deterministic constraints , which are used with an MPC framework to compute a local collision-free trajectory for each quadrotor.