We derive service level bounds by modeling inventory as a non-stationary Markov chain.
Mixed-integer programming for multi-vehicle rebalancing is practically intractable.
Our polynomial-size clustering heuristic maintains service level feasibility.
We provide computational results on data from Boston, MA and Washington, DC.
Our heuristic outperforms mixed-integer and constraint programming approaches.