A globally exponentially stable non-linear velocity observer for vision-aided UAV dead reckoning | IEEE Conference Publication | IEEE Xplore