Centralized Control for Reachability
Adaptive Receding-Horizon Synthesis (ARES) combines model-predictive control and importance splitting to achive a V-formation for a flock of birds from an arbitrary starting initial configuration in a centralized manner.