Guaranteed computational resprinting via model-predictive control