Counterfactual Negative Outcome Control for Required Navigation Performance | IEEE Conference Publication | IEEE Xplore