Text this: Robust Invariant Set Design for Reliable Stopping in Adaptive Cruise Control via Model Predictive Control