System for continuously controlling quadrotor drone behavior using Signal Temporal Logic (STL) as the mission specification language