Collision-free Formation Control for Quadrotor Networks Based on Distributed Quadratic Programs | IEEE Conference Publication | IEEE Xplore