Super – Safety-Assured High-Speed Navigation for MAVs [video]