Abort-safe spacecraft rendezvous under stochastic actuation and navigation uncertainty | IEEE Conference Publication | IEEE Xplore