A Human-in-the-Loop Evaluation of ACAS Xu | IEEE Conference Publication | IEEE Xplore