A receding horizon routing controller for inventory replenishment agents in bike sharing systems with time-varying demand | IEEE Conference Publication | IEEE Xplore