Trajectory Planning with Safety Guaranty for a Multirotor based on the Forward and Backward Reachability Analysis | IEEE Conference Publication | IEEE Xplore