This video shows recent work on STARMAC, the Stanford Testbed of Autonomous Rotorcraft for Multi-Agent Control, that enables the vehicle to perform a guaranteed safe autonomous backflip maneuver. This maneuver was designed using reachable set analysis to guarantee that even under worst-case disturbances, the backflip could still be performed safely. The video below provides a