Statistical performance verification for an autonomous rotorcraft | IEEE Conference Publication | IEEE Xplore