Agile Trajectory Planning and Large Obstacle Avoidance for Formation Flight Using a Virtual Core | IEEE Journals & Magazine | IEEE Xplore