A framework for Lyapunov certificates for multi-vehicle rendezvous problems | IEEE Conference Publication | IEEE Xplore