A Run Time Assurance Approach for Safe Control of a Quadrotor | Synapse