Reachability as a Unifying Framework for Computing Helicopter Safe Operating Conditions and Autonomous Emergency Landing. - Matthew R. Kirchner; Eddie Ball; Jacques Hoffler; Don Gaublomme (CoRR, 2020)