Control synthesis and verification for a perching UAV using LQR-Trees
Minimum snap trajectory generation and control for quadrotors