Verified hybrid LQ control for autonomous spacecraft rendezvous | IEEE Conference Publication | IEEE Xplore