Online safety verification of trajectories for unmanned flight with offline computed robust invariant sets.