Aurora Flight Sciences proposes to develop a flare planning methodology that would provide aircraft guidance during this critical phase of flight. The algorithms that Aurora seeks to leverage the reachability problem in the fields of Optimal Control and Hybrid Systems, using Rapidly-Exploring Random Trees (RRTs) and Falsification theory. To this end, Aurora proposes the innovation of applying a suitable version of these algorithms to the design of a flare maneuver guidance and planning logic. The planner will be capable of dynamically producing a flare maneuver that does not violate the aircraft flight envelope and other stipulated constraints. The planner will meet the robustness requirements stipulated in the topic solicitation; namely, it will apply to both impeded and unimpeded aircraft, and it will operate under significant weather disturbances. The main technical challenge in developing the planning logic is extending and applying the chosen control algorithms to 6-DOF aircraft dynamics models under the required variety of operating conditions. The ultimate goal of the Phase 2 effort is to demonstrate Aurora's algorithms in an appropriately sophisticated Hardware-in-the-loop simulation of an impaired aircraft during a flare maneuver.