Detect-and-Avoid Closed-Loop Evaluation of Noncooperative Well Clear Definitions | Synapse